Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Auteur(s) : International School on Formal Methods for the Design of Computer, Communication, and Software Systems (4 ; 2004 ; Bertinoro, Italy)  Voir les notices liées en tant qu'auteur

Titre(s) : Formal methods for the design of real-time systems [Texte électronique] : 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 / Marco Bernardo, Flavio Corradini (eds.)

Publication : Berlin ; New York : Springer, cop. 2004

Description matérielle : 1 online resource (vi, 293 pages)

Collection : Lecture notes in computer science ; 3185. Tutorial

Note(s) : Includes bibliographical references and index
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

Autre(s) auteur(s) : Bernardo, Marco. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Corradini, Flavio. Fonction indéterminée  Voir les notices liées en tant qu'auteur

Autre(s) forme(s) du titre : 
- Autre forme du titre : SRM-RT 2004

Sujet(s) : Méthodes formelles (informatique)  Voir les notices liées en tant que sujet
Temps réel (informatique)  Voir les notices liées en tant que sujet
Systèmes informatiques  Voir les notices liées en tant que sujet

Indice(s) Dewey :  004.33 (23e éd.) = Traitement en temps réel  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783540300809

Identifiant de la notice  : ark:/12148/cb446851722

Notice n° :  FRBNF44685172 (notice reprise d'un réservoir extérieur)

Table des matières : 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.