Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

ASWEC
2006
IEEE

favoriteEmaildiscussreport

114views Software Engineering» more ASWEC 2006»

Model-based runtime analysis of distributed reactive systems

13 years 11 months ago

Model-based runtime analysis of distributed reactive systems

Download home.in.tum.de

Andreas Bauer 0002, Martin Leucker, Christian Scha

Real-time Traffic

ASWEC 2006 | Software Engineering |

claim paper

Related Content

» Compiler and runtime support for predictive control of power and cooling

» Software architecture using finegrained eventdriven reactive components

» Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems

» A compiler and runtime system for network programming languages

» Reactive process networks

» Verifying Distributed Protocols using MSCAssertions Runtime Monitoring and Automatic Test ...

» A Runtime and Analysis Framework Support for Unit Component Testing in Distributed Systems

» A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems

» An Empirical Study of Optimal Noise and Runtime Distributions in Local Search

Post Info
More Details (n/a)

Added	10 Jun 2010
Updated	10 Jun 2010
Type	Conference
Year	2006
Where	ASWEC
Authors	Andreas Bauer 0002, Martin Leucker, Christian Schallhart

Comments (0)