Search Sciweavers | Sciweavers

7557 search results - page 142 / 1512

» Modeling Timed Concurrent Systems

164

click to vote

CONCUR
1995
Springer

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

Compositional Model Checking of Real Time Systems

15 years 9 months ago

Download www.brics.dk

François Laroussinie, Kim Guldstrand Larsen

claim paper

Read More »

144

Voted

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 »

108

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 »

131

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 »

150

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