Formal methods for the design of real time systems : revised lectures

Konferenzschrift | Kongress

This book presents the revised versions of nine invited lectures presented by leading researchers at the fourth edition of the International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFT 2004, held in Bertinoro, Italy, September 2004. SFM 2004 is devoted to real-time systems. The lectures presented cover formal models and languages for the specification, modeling, analysis, and verification of time-critical systems, the expressiveness of such models and languages, as well as supporting tools and related applications in different domains. The book offers a unique and comprehensive state-of-the-art survey on real-time systems. Researchers and advanced students will appreciate the book as a valuable source of reference and a systematic guide to the use of formal methods for the specification, analysis, and verification of real-time systems.

Angaben zum Objekt

• Standort: Deutsche Nationalbibliothek Frankfurt am Main
• ISBN: 9783540230687 ; 3540230688
• Maße: 24 cm
• Umfang: VI, 293 S.
• Sprache: Englisch
• Anmerkungen: graph. Darst. ; Literaturangaben

Verweise und Beziehungen

• Erschienen in: Lecture notes in computer science ; Vol. 3185 : Tutorial

Klassifikation und Themen

• Klassifikation: Informatik
• Schlagwort: Echtzeitsystem ; Formale Methode ; Zeitbehafteter Automat ; Formale Methode ; Zeitbewertetes Petri-Netz ; Formale Methode ; Zeitdiskretes System ; Formale Methode

Beteiligte, Orts- und Zeitangaben

• Ereignis: Veröffentlichung
• (wo): Berlin, Heidelberg, New York
• (wer): Springer
• (wann): 2004
• Beteiligte Personen und Organisationen: Bernardo, Marco ; International School on Formal Methods for the Design of Computer, Communication and Software Systems (4 : 2004 : Bertinoro)

Weitere Informationen

• Inhaltsverzeichnis: https://d-nb.info/97213784X/04
• Rechteinformation: Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
• Letzte Aktualisierung: 11.06.2025, 14:13 MESZ