Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures - researchr publication

researchr

You are not signed in
Sign in
Sign up

Marco Bernardo, Flavio Corradini, editors, Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures. Volume 3185 of Lecture Notes in Computer Science, Springer, 2004.

Conference: sfm2004

Abstract is missing.

Decision Problems for Timed Automata: A SurveyRajeev Alur, P. Madhusudan. 1-24 [doi]

Timed Petri Nets: Efficiency of Asynchronous SystemsElmar Bihler, Walter Vogler. 25-58 [doi]

Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing)Jos C. M. Baeten, Michel A. Reniers. 59-97 [doi]

Expressiveness of Timed Events and Timed LanguagesDiletta Cacciagrano, Flavio Corradini. 98-131 [doi]

Real Time and Stochastic TimeMario Bravetti. 132-180 [doi]

On the Semantic Foundations of Standard UML 2.0Bran Selic. 181-199 [doi]

A Tutorial on UppaalGerd Behrmann, Alexandre David, Kim Guldstrand Larsen. 200-236 [doi]

The IF ToolsetMarius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis. 237-267 [doi]

Embedded Software Analysis with MOTORJoost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Klaren, Holger Hermanns. 268-294 [doi]

runs on WebDSL