VECoS: International Conference on Verification and Evaluation of Computer and Communication Systems

Mohamed Faouzi Atig (1) , Saddek Bensalem (2) , Simon Bliudze (3) , Bruno Monsuez (4)

1 Uppsala University
2 UGA [2016-2019] - Université Grenoble Alpes [2016-2019]
3 SPIRALS - Self-adaptation for distributed services and large software systems
4 ENSTA Paris - École Nationale Supérieure de Techniques Avancées

Domaines: Systèmes embarqués; Génie logiciel [cs.SE]; Langage de programmation [cs.PL]; Modélisation et simulation; Système multi-agents [cs.MA]

Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez. VECoS: International Conference on Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings. Mohamed Faouzi Atig; Saddek Bensalem; Simon Bliudze; Bruno Monsuez. 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings, Sep 2018, Grenoble, France. 11181, Springer, Cham, 2018, Lecture Notes in Computer Science, 978-3-030-00359-3. ⟨10.1007/978-3-030-00359-3⟩. ⟨hal-03322041⟩