par Devillers, Raymond ;Klaudel, Hanna
Référence Lecture notes in computer science, 9884, page (140-156)
Publication Publié, 2016
Article révisé par les pairs
Titre:
  • Abstraction strategies for computing travelling or looping durations in networks of timed automata
Auteur:Devillers, Raymond; Klaudel, Hanna
Informations sur la publication:Lecture notes in computer science, 9884, page (140-156)
Statut de publication:Publié, 2016
Sujet CREF:Informatique générale
Informatique mathématique
Mots-clés:Approximation
Duration
State space explosion
Timed automata
Note générale:SCOPUS: cp.k
Langue:Anglais
Identificateurs:urn:issn:0302-9743
info:doi/10.1007/978-3-319-44878-7_9
info:scp/84984916927