Modal event-clock specifications for timed component-based design

Nathalie Bertrand 1 Axel Legay 2 Sophie Pinchinat 3 Jean-Baptiste Raclet 4
1 VERTECS - Verification models and techniques applied to testing and control of reactive systems
Inria Rennes – Bretagne Atlantique
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

openaccess

Identifiants

Collections

INRIA | IRISA | IRISA-D2 | IRISA-D4 | UNIV-TLSE3 | UNIV-TLSE2 | SMS | UR1-UFR-ISTIC | UNIV-RENNES

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

387

Contact


archive-ouverte@inria.fr