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
4 ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
IRIT - Institut de recherche en informatique de Toulouse
Type de document :
Article dans une revue
Science of Computer Programming, Elsevier, 2012, pp.1212-1234. 〈10.1016/j.scico.2011.01.007〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00752449
Contributeur : Nathalie Bertrand <>
Soumis le : jeudi 15 novembre 2012 - 17:25:58
Dernière modification le : vendredi 16 novembre 2018 - 01:22:13

Lien texte intégral

Identifiants

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〉

Partager

Métriques

Consultations de la notice

387