A. P. · Alexander P · Pretschner, Alexander
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Model-Based Testing of Reactive Systems: Advanced Lectures | 978-3-540-26278-7 (3-540-26278-4) | 2008 | Manfred Broy · Bengt Jonsson · Joost-Pieter Katoen · Martin Leucker |
| Security and Trust Management: 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers | 978-3-642-22443-0 (3-642-22443-1) | 2011 | Jorge Cuellar · Javier Lopez · Gilles Barthe |