| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Formal Approaches to Software Testing: 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers | 978-3-540-25109-5 | 2008 | Jens Grabowski | |
| Proceedings of Workshop on Formal Approaches to Testing of Software : 19th IEEE International Conference on Automated Software Engineering - ASE 2004 | 978-3-902457-01-1 | 2004 | " | |
| Quantitative Model-Based Analysis of Real-Time Embedded Systems: The Quasimodo Project | 978-94-007-1368-0 | 2015 | Kim G. Larsen · Jan Tretmans | |
| Testing Software and Systems: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings | 978-3-642-34690-3 | 2012 | Carsten Weise | |
| Troy | 978-0-7385-0903-7 | 2001 | Becky Nielsen |
Barney Nelson · Brehm/Nelson · Brian Nelson · Bryan Nelson · Byron Nelson · Nielsen, Brian
Arcadia Publishing · Institute for Systems Engineering and Automation · Springer