Search Sciweavers | Sciweavers

14360 search results - page 156 / 2872

» Time Modeling in MARTE

click to vote

ATVA
2008
Springer

88views Hardware» more ATVA 2008»

Practical Efficient Modular Linear-Time Model-Checking

14 years 3 days ago

Download se.ethz.ch

Carlo A. Furia, Paola Spoletini

claim paper

Read More »

click to vote

ASWSD
2006
Springer

278views Software Engineering» more ASWSD 2006»

Modeling with the Timing Definition Language (TDL)

14 years 2 days ago

Download www.softwareresearch.net

Wolfgang Pree, Josef Templ

claim paper

Read More »

click to vote

GIS
2007
ACM

130views Automated Reasoning» more GIS 2007»

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

13 years 12 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

13 years 12 months ago

Download recerca.ac.upc.edu

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

claim paper

Read More »

click to vote

FORMATS
2008
Springer

97views Formal Methods» more FORMATS 2008»

Compositional Abstraction in Real-Time Model Checking

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers