Projects per year
Original language | English |
---|---|
Title of host publication | Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday |
Publisher | Springer |
Pages | 15-32 |
Number of pages | 18 |
Volume | 9660 |
DOIs | |
Publication status | Published - 2016 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Fields of Expertise
- Information, Communication & Computing
Projects
- 2 Finished
-
TRUCONF - Trust via cost function driven model based test case generation for non-functional properties of systems of systems
1/11/14 → 31/10/17
Project: Research project
-
CRYSTAL - Critical Systems Engineering Factories
Lorber, F. L. & Aichernig, B.
1/05/13 → 30/04/16
Project: Research project