Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Daniel Weil, Valérie Bertin, Etienne Closse, Michel Poize, Patrick Venier, Jacques Pulou. Efficient compilation of ESTEREL for real-time embedded systems. In CASES. pages 2-8, 2000. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systemsValérie Bertin, Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venier, Daniel Weil, Sergio Yovine. cdc 2001: 2875-2880 [doi]
The following publications are possibly variants of this publication: