Skip to Main content Skip to Navigation
Book sections

Synchronous hypothesis and polychronous languages

Dumitru Potop-Butucaru 1 Robert de Simone 1 Jean-Pierre Talpin 2
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
2 ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Document type :
Book sections
Complete list of metadatas
https://hal.inria.fr/hal-00788473
Contributor : Ist Rennes <>
Submitted on : Thursday, February 14, 2013 - 3:07:54 PM
Last modification on : Friday, July 10, 2020 - 4:27:07 PM

Identifiers

Collections

UNICE | UNIV-RENNES1 | CNRS | INRIA | IRISA | I3S | IRISA-D4 | UR1-UFR-ISTIC | UNIV-COTEDAZUR | UNIV-RENNES | INSA-GROUPE | INSA-RENNES

Citation

Dumitru Potop-Butucaru, Robert de Simone, Jean-Pierre Talpin. Synchronous hypothesis and polychronous languages. Richard Zurawski. Embedded Systems Design and Verification, CRC Press, pp.6-1-6-27, 2009, 978-1-4398-0755-2. ⟨10.1201/9781439807637.ch6⟩. ⟨hal-00788473⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

386

 

Contact                    Legal Notice                    Personal Data