par Arcile, Johan;Devillers, Raymond ;Klaudel, Hanna;Klaudel, Witold;Woźna-Szcześniak, Bożena
Référence Advances in intelligent systems and computing, 620, page (173-180)
Publication Publié, 2018
Référence Advances in intelligent systems and computing, 620, page (173-180)
Publication Publié, 2018
Article révisé par les pairs
Titre: |
|
Auteur: | Arcile, Johan; Devillers, Raymond; Klaudel, Hanna; Klaudel, Witold; Woźna-Szcześniak, Bożena |
Informations sur la publication: | Advances in intelligent systems and computing, 620, page (173-180) |
Statut de publication: | Publié, 2018 |
Sujet CREF: | Informatique appliquée logiciel |
Informatique générale | |
Mécanique appliquée générale | |
Mots-clés: | Communicating vehicles |
Model-checking | |
Timed automata | |
Note générale: | SCOPUS: cp.k |
Langue: | Anglais |
Identificateurs: | urn:issn:2194-5357 |
info:doi/10.1007/978-3-319-62410-5_21 | |
info:scp/85022198562 |