2012

Formal methods for industrial critical systems : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings

International Workshop on Formal Methods for Industrial Critical Systems (17th : 2012 : Paris, France)



 

2019

Formal modeling and analysis of timed systems : 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27-29, 2019 : proceedings

International Conference on Formal Modeling and Analysis of Timed Systems (17th : 2019 : Amsterdam, Netherlands)

Cham : Springer, [2019]

 

2021

Fundamental approaches to software engineering : 24th International Conference, FASE 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg Cit

FASE (Conference) (24th : 2021 : Online)

Cham, Switzerland : Springer, 2021

 

2022

A journey from process algebra via timed automata to model learning : essays dedicated to Frits Vaandrager on the occasion of his 60th birthday

Cham, Switzerland : Springer, 2022

 

2014

Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012 : advanc

ROCKS Autumn School (2012 : Varna, Italy)

Berlin : Springer, [2014]