yliès falcone
Runtime Verification
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 16th International Conference on Runtime Ve...
Lectures on Runtime Verification
TaschenbuchPrint on DemandThe idea of this volume originated from the need to have a book for students to support their tra...
Formal Methods in Outer Space
TaschenbuchPrint on DemandThis Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in...
Runtime Verification
TaschenbuchBesorgungstitel - wird vorgemerktThis volume contains the proceedings of the 2010 Runtime Veri?cation conf- ence (RV 2010), which ...
- 1