Skip to Main content Skip to Navigation
Journal articles

Modal event-clock specifications for timed component-based design

Nathalie Bertrand 1 Axel Legay 2 Sophie Pinchinat 3 Jean-Baptiste Raclet 4
2 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
3 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-00752449
Contributor : Nathalie Bertrand <>
Submitted on : Thursday, November 15, 2012 - 5:25:58 PM
Last modification on : Thursday, June 10, 2021 - 3:48:45 AM

Links full text

Identifiers

Citation

Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet. Modal event-clock specifications for timed component-based design. Science of Computer Programming, Elsevier, 2012, pp.1212-1234. ⟨10.1016/j.scico.2011.01.007⟩. ⟨hal-00752449⟩

Share

Metrics

Record views

742