Formal Modeling and Analysis of Timed Systems - Archive ouverte HAL Accéder directement au contenu
Ouvrages Année : 2006

Formal Modeling and Analysis of Timed Systems

Résumé

This volume contains the proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2006), held in Paris (France) on September 25-27, 2006. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems.

Mots clés

Domaines

Autre [cs.OH]

Dates et versions

hal-00157540 , version 1 (26-06-2007)

Identifiants

Citer

Eugene Asarin, Patricia Bouyer. Formal Modeling and Analysis of Timed Systems. Springer, pp.367, 2006, ⟨10.1007/11867340⟩. ⟨hal-00157540⟩
162 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More