Search Sciweavers | Sciweavers

14360 search results - page 156 / 2872

» Time Modeling in MARTE

110

click to vote

ATVA
2008
Springer

88views Hardware» more ATVA 2008»

Practical Efficient Modular Linear-Time Model-Checking

15 years 5 months ago

Download se.ethz.ch

Carlo A. Furia, Paola Spoletini

claim paper

Read More »

107

click to vote

ASWSD
2006
Springer

278views Software Engineering» more ASWSD 2006»

Modeling with the Timing Definition Language (TDL)

15 years 5 months ago

Download www.softwareresearch.net

Wolfgang Pree, Josef Templ

claim paper

Read More »

108

click to vote

GIS
2007
ACM

130views Automated Reasoning» more GIS 2007»

Near-real time motion analysis for APLIS 2007: a systems modeling perspective

15 years 4 months ago

Download vims.cis.udel.edu

Mani Thomas, Chandra Kambhamettu, Cathleen A. Geig...

claim paper

Read More »

click to vote

EURONGI
2008
Springer

119views Computer Networks» more EURONGI 2008»

Diffusion Approximation Model for the Distribution of Packet Travel Time at Sensor Networks

15 years 4 months ago

Download recerca.ac.upc.edu

Tadeusz Czachórski, Krzysztof Grochla, Ferh...

claim paper

Read More »

102

click to vote

FORMATS
2008
Springer

97views Formal Methods» more FORMATS 2008»

Compositional Abstraction in Real-Time Model Checking

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers