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, 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
Type de document :
Chapitre d'ouvrage
Richard Zurawski. Embedded Systems Design and Verification, CRC Press, pp.6-1-6-27, 2009, 978-1-4398-0755-2. 〈10.1201/9781439807637.ch6〉
Liste complète des métadonnées
https://hal.inria.fr/hal-00788473
Contributeur : Ist Rennes <>
Soumis le : jeudi 14 février 2013 - 15:07:54
Dernière modification le : mardi 17 avril 2018 - 11:33:04

Identifiants

Collections

UNICE | INRIA | IRISA | I3S | IRISA-D4 | UR1-UFR-ISTIC | UNIV-COTEDAZUR | UNIV-RENNES | INRIA-RENGRE

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

231

Contact


archive-ouverte@inria.fr