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 /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Bernardo, Marco (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Corradini, Flavio (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.
Έκδοση:1st ed. 2004.
Σειρά:Lecture Notes in Computer Science, 3185
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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.