Synchronous programming of reactive systems: an introduction to ESTEREL
Abstract
Disponible dans les fichiers attachés à ce document
Reports
(Research Report)
Year : 1987
Rapport De Recherche Inria : Connect in order to contact the contributor
https://hal.inria.fr/inria-00075906
Submitted on : Wednesday, May 24, 2006-7:34:32 PM
Last modification on : Wednesday, March 15, 2023-8:58:09 AM
Long-term archiving on: Friday, May 13, 2011-4:21:51 PM
Dates and versions
Identifiers
- HAL Id : inria-00075906 , version 1
Cite
Gérard Berry, Philippe Couronne, Georges Gonthier. Synchronous programming of reactive systems: an introduction to ESTEREL. [Research Report] RR-0647, INRIA. 1987. ⟨inria-00075906⟩
Collections
178
View
162
Download