Verifying synchronous reactive systems programmed in ESTEREL

Amar Bouali 1, 2 Jean-Paul Marmorat 2 Robert de Simone 3 Horia Toma 2
1 PLANETE - Protocols and applications for the Internet
Inria Grenoble - Rhône-Alpes, CRISAM - Inria Sophia Antipolis - Méditerranée
3 MEIJE - Concurrency, Synchronization and Real-time Programming
CRISAM - Inria Sophia Antipolis - Méditerranée
Liste complète des métadonnées

https://hal-mines-paristech.archives-ouvertes.fr/hal-00504846
Contributeur : Magalie Prudon <>
Soumis le : mercredi 21 juillet 2010 - 15:46:51
Dernière modification le : lundi 12 novembre 2018 - 10:57:39

Lien texte intégral

Identifiants

Citation

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⟩

Partager

Métriques

Consultations de la notice

508