Verifying synchronous reactive systems programmed in ESTEREL - Centre de Mathématiques Appliquées Accéder directement au contenu
Chapitre D'ouvrage Année : 1996

Dates et versions

hal-00504846 , version 1 (21-07-2010)

Identifiants

Citer

Amar Bouali, Jean-Paul Marmorat, Robert de Simone, Horia Toma. Verifying synchronous reactive systems programmed in ESTEREL. Jonsson, Bengt, Parrow, Joachim. Formal Techniques in Real-Time and Fault-Tolerant Systems. 4th International Symposium Uppsala, Sweden, September 9–13, 1996 Proceedings, Springer Verlag, Volume 1135, p. 463-466, ISBN 978-3-540-61648-1, 1996, Lecture Notes in Computer Science, ⟨10.1007/3-540-61648-9_57⟩. ⟨hal-00504846⟩
248 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More