par Devillers, Raymond ;Didier, Jean-Yves;Klaudel, Hanna
Référence Proceedings (International Conference on Application of Concurrency to System Design), page (226-235), 6598358
Publication Publié, 2013
Article révisé par les pairs
Titre:
  • Implementing timed automata specifications: The 'sandwich' approach
Auteur:Devillers, Raymond; Didier, Jean-Yves; Klaudel, Hanna
Informations sur la publication:Proceedings (International Conference on Application of Concurrency to System Design), page (226-235), 6598358
Statut de publication:Publié, 2013
Sujet CREF:Informatique générale
Mots-clés:implementability
semantics.
Timed automata
Note générale:SCOPUS: cp.p
Langue:Anglais
Identificateurs:urn:issn:1550-4808
info:doi/10.1109/ACSD.2013.26
info:scp/84885655146

Documents en relation

DI-fusion