par Brihaye, Thomas;Geeraerts, Gilles ;Ho, Hsi Ming;Monmege, Benjamin
Référence Leibniz international proceedings in informatics, 90, 7
Publication Publié, 2017-10
Article révisé par les pairs
Titre:
  • Timed-automata-based verification of MITL over signals
Auteur:Brihaye, Thomas; Geeraerts, Gilles; Ho, Hsi Ming; Monmege, Benjamin
Informations sur la publication:Leibniz international proceedings in informatics, 90, 7
Statut de publication:Publié, 2017-10
Sujet CREF:Généralités
Mots-clés:Real-time systems
Real-time temporal logic
Timed automata
Note générale:SCOPUS: cp.p
Langue:Anglais
Identificateurs:urn:issn:1868-8969
info:doi/10.4230/LIPIcs.TIME.2017.7
info:scp/85030662207