Proceedings of the 14th International Conference on Quantitative Evaluation of Systems (QEST 2017), Berlin, Germany, September 5-7, 2017

Nathalie Bertrand 1 Luca Bortolussi 2
1 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA_D4 - LANGAGE ET GÉNIE LOGICIEL
Type de document :
Direction d'ouvrage, Proceedings, Dossier
France. 2017
Liste complète des métadonnées

https://hal.inria.fr/hal-01635134
Contributeur : Nathalie Bertrand <>
Soumis le : mardi 14 novembre 2017 - 17:37:34
Dernière modification le : mercredi 16 mai 2018 - 11:24:13

Identifiants

  • HAL Id : hal-01635134, version 1

Citation

Nathalie Bertrand, Luca Bortolussi. Proceedings of the 14th International Conference on Quantitative Evaluation of Systems (QEST 2017), Berlin, Germany, September 5-7, 2017. France. 2017. 〈hal-01635134〉

Partager

Métriques

Consultations de la notice

237