Skip to Main content Skip to Navigation
Book sections

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
Complete list of metadatas

https://hal-mines-paristech.archives-ouvertes.fr/hal-00504846
Contributor : Magalie Prudon <>
Submitted on : Wednesday, July 21, 2010 - 3:46:51 PM
Last modification on : Monday, January 4, 2021 - 7:08:04 PM

Links full text

Identifiers

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⟩

Share

Metrics

Record views

571