Chapitre D'ouvrage
Année : 1996
Magalie Prudon : Connectez-vous pour contacter le contributeur
https://minesparis-psl.hal.science/hal-00504846
Soumis le : mercredi 21 juillet 2010-15:46:51
Dernière modification le : mardi 27 août 2024-12:41:42
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⟩
273
Consultations
0
Téléchargements