par Geeraerts, Gilles 
;Raskin, Jean-François ;Sznajder, Nathalie
Référence Formal methods in system design, 45, 3
Publication Publié, 2014
;Raskin, Jean-François ;Sznajder, NathalieRéférence Formal methods in system design, 45, 3
Publication Publié, 2014
Article révisé par les pairs
| Titre: |
|
| Auteur: | Geeraerts, Gilles; Raskin, Jean-François; Sznajder, Nathalie |
| Informations sur la publication: | Formal methods in system design, 45, 3 |
| Statut de publication: | Publié, 2014 |
| Sujet CREF: | Informatique générale |
| Mots-clés: | DBMs |
| Event clock automata | |
| Formal methods | |
| Real-time | |
| regions | |
| Timed automata | |
| Verification | |
| Zones | |
| Note générale: | Accepted for publication |
| SCOPUS: ar.j | |
| Langue: | Anglais |
| Identificateurs: | urn:issn:0925-9856 |
| info:doi/10.1007/s10703-014-0212-1 | |
| info:scp/84912005196 |
