Formal Modeling and Analysis of Timed Systems 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings Bertrand, Nathalie Heftet / 2020 / Engelsk
Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings Bertrand, Nathalie Heftet / 2017 / Engelsk
