Pretschner, Alexander books & textbook
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science, 3472)
Broy, Manfred Jonsson, Bengt Katoen, Joost-Pieter Leucker, Martin Pretschner, Alexander
Springer /2005-06-27 Paperback / 672 Pages
isbn-10: 3540262784 / isbn-13: 9783540262787
Developing Correct Safety Critical, Hybrid, Embedded Systems
PN /2001T Paperback
Security and Trust Management: 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers (Lecture Notes in Computer Science, 6710)
Cuellar, Jorge Lopez, Javier Barthe, Gilles Pretschner, Alexander
Springer /2011-09-23 Paperback / 281 Pages
isbn-10: 3642224431 / isbn-13: 9783642224430
