par De Wulf, Martin Cliquez pour télécharger la liste de publications de l'auteur; Doyen, Laurent Liste de publications; Raskin, Jean-François Liste de publications
Référence Formal aspects of computing, 17, 3, (page 319-341)
Publication Publié, 2005-10
Article révisé par les pairs
Titre :
  • Almost ASAP semantics: from timed models to timed implementations
Auteur : De Wulf, Martin ; Doyen, Laurent ; Raskin, Jean-François
Informations sur la publication : Formal aspects of computing, 17, 3, (page 319-341)
Statut de publication : Publié, 2005-10
Sujet CREF : Informatique mathématique
Mots-clés : Implementability
Semantics
Timed and Hybrid Automata
Verification
Note : SCOPUS: cp.j
Langue :
  • Anglais
Identificateurs : urn:issn:0934-5043 
info:doi/10.1007/s00165-005-0067-8