1
A Journey from Process Algebra via Timed Automata to Model Learning [E-Book] : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday /
Other Personal Name(s): “...Stoelinga, Mariëlle...”

Full text 
Favorites
Saved in:
2
Fundamental Approaches to Software Engineering [E-Book] : 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings /
Other Personal Name(s): “...Stoelinga, Mariëlle...”

Full text 
Favorites
Saved in:
3
Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems [E-Book] : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures /
Other Personal Name(s): “...Stoelinga, Mariëlle....”

Full text 
Favorites
Saved in:
4
Quantitative Evaluation of Systems [E-Book] : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings /
Other Personal Name(s): “...Stoelinga, Mariëlle....”

Full text 
Favorites
Saved in:
5
Formal Methods for Industrial Critical Systems [E-Book]: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings /
Other Personal Name(s): “...Stoelinga, Mariëlle....”

Full text 
Favorites
Saved in:

Narrow Search Results