|
СБ |
Fundamental Approaches to Software Engineering: Proc./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 2021 |
2021 |
|
Lecture Notes in Computer Science |
- Guerra E.
- Stoelinga M.
|
|
|
12.05.2021 |
|
СБ |
Formal Modeling and Analysis of Timed Systems: Proc./17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 2019 |
2019 |
|
Lecture Notes in Computer Science |
- Andre E.
- Stoelinga M.
|
|
|
04.09.2019 |
|
СБ |
Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 2012 |
2014 |
|
Lecture Notes in Computer Science |
- Remke A.
- Stoelinga M.
|
|
|
18.01.2015 |
|
СБ |
Quantitative Evaluation of Systems: Proc./10th International Conference, QEST 2013, Buenos Aires, Argentina, August 2013 |
2013 |
|
Lecture Notes in Computer Science |
- Joshi K.
- Siegle M.
- Stoelinga M.
- D Argenio P. R.
|
|
|
29.10.2013 |
|
СБ |
Formal Methods for Industrial Critical Systems: Proc./17th International Workshop, FMICS 2012, Paris, France, August 2012 |
2012 |
|
Lecture Notes in Computer Science |
- Stoelinga M.
- Pinger R.
|
|
|
25.09.2012 |
