Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Directions of work or proceedings

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
Document type :
Directions of work or proceedings
Complete list of metadata

https://hal.inria.fr/hal-01635134
Contributor : Nathalie Bertrand Connect in order to contact the contributor
Submitted on : Tuesday, November 14, 2017 - 5:37:34 PM
Last modification on : Monday, April 4, 2022 - 9:28:22 AM

Identifiers

  • 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. Nathalie Bertrand; Luca Bortolussi. France. Springer, 2017. ⟨hal-01635134⟩

Share

Metrics

Record views

195