VECoS: International Conference on Verification and Evaluation of Computer and Communication Systems
12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings
Type de document :
Proceedings
Titre :
VECoS: International Conference on Verification and Evaluation of Computer and Communication Systems
12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings
12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings
Éditeur :
Springer, Cham
Date de publication :
2018-09
Discipline(s) HAL :
Informatique [cs]/Systèmes embarqués
Informatique [cs]/Génie logiciel [cs.SE]
Informatique [cs]/Langage de programmation [cs.PL]
Informatique [cs]/Modélisation et simulation
Informatique [cs]/Système multi-agents [cs.MA]
Informatique [cs]/Génie logiciel [cs.SE]
Informatique [cs]/Langage de programmation [cs.PL]
Informatique [cs]/Modélisation et simulation
Informatique [cs]/Système multi-agents [cs.MA]
Langue :
Anglais
Collections :
Source :
Fichiers
- https://link.springer.com/content/pdf/bfm%3A978-3-030-00359-3%2F1
- Accès libre
- Accéder au document