Alexander Pretschner profile picture

Alexander Pretschner

Dependable Software Systems Engineering
Dependable Software Systems Engineering
Model-Based Testing of Reactive Systems Advanced Lectures
Security and Trust Management 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers
Engineering Secure and Dependable Software Systems