Search Sciweavers | Sciweavers

7557 search results - page 142 / 1512

» Modeling Timed Concurrent Systems

166

click to vote

CONCUR
1995
Springer

140views Distributed And Parallel Com...» more CONCUR 1995»

Compositional Model Checking of Real Time Systems

15 years 10 months ago

Download www.brics.dk

François Laroussinie, Kim Guldstrand Larsen

claim paper

Read More »

148

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 8 months ago

Download vims.cis.udel.edu

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

claim paper

Read More »

109

click to vote

DAGSTUHL
2007

85views Software Engineering» more DAGSTUHL 2007»

07451 Abstracts Collection - Model-Based Engineering of Embedded Real-Time Systems

15 years 7 months ago

Download drops.dagstuhl.de

Holger Giese, Gabor Karsai, Edward Lee, Bernhard R...

claim paper

Read More »

133

click to vote

EPEW
2010
Springer

165views Internet Technology» more EPEW 2010»

A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking

15 years 7 months ago

Download www.fi.muni.cz

Lasse Jacobsen, Morten Jacobsen, Mikael H. M&oslas...

claim paper

Read More »

155

click to vote

JISE
2008

162views more JISE 2008»

Modeling and Analysis of Urban Traffic Lights Control Systems Using Timed CP-nets

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers