Formal Methods for the Design of Real-Time Systems

E-Book (pdf)

(0)

Erste Bewertung abgeben

Inhalt Models and Languages.- Decision Problems for Timed Automata: A Survey.- Timed Petri Nets: Efficiency of Asynchronous System...

CHF59.90

Download steht sofort bereit

E-Book (pdf)

Beschreibung

Inhalt

Models and Languages.- Decision Problems for Timed Automata: A Survey.- Timed Petri Nets: Efficiency of Asynchronous Systems.- Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing).- Expressiveness of Timed Events and Timed Languages.- Real Time and Stochastic Time.- On the Semantic Foundations of Standard UML 2.0.- Tools and Applications.- A Tutorial on Uppaal.- The IF Toolset.- Embedded Software Analysis with MOTOR.

Produktinformationen

Titel:

Formal Methods for the Design of Real-Time Systems

Untertitel:

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

Editor:

Marco Bernardo

Flavio Corradini

EAN:

9783540300809

Format:

E-Book (pdf)

Hersteller:

Springer Berlin Heidelberg

Genre:

IT & Internet

Veröffentlichung: