1
Engineering Theories of Software Intensive Systems [E-Book] : Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004 /
2
Model-Based Testing of Reactive Systems [E-Book] / Advanced Lectures