axel legay
Model Checking Software
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 26th International Symposium on Model Check...
Runtime Verification
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 4th International Conference on Runtime Ver...
From Programs to Systems - The Systems Perspective in Computing
EbookSofort lieferbar'From Programs to Systems - The Systems Perspective in Computing' workshop (FPS 2014) was held in...
Models, Algorithms, Logics and Tools
EbookSofort lieferbarThis Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors o...
Tools and Algorithms for the Construction and Analysis of Systems
EbookSofort lieferbarThe two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Confere...
Tools and Algorithms for the Construction and Analysis of Systems
EbookSofort lieferbarThe two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Confere...
Hardware and Software: Verification and Testing
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 9th International Haifa Verification Confer...
Risks and Security of Internet and Systems
EbookSofort lieferbarThis book constitutes the revised selected papers from the 11th International Conference on Risk ...
Risks and Security of Internet and Systems
EbookSofort lieferbarThis book constitutes the revised selected papers from the 12th International Conference on Risk ...
Automated Technology for Verification and Analysis
EbookSofort lieferbarThis book constitutes the proceedings of the 14th International Symposium on Automated Technology...
Formal Modeling and Analysis of Timed Systems
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 12th International Conference on Formal Mod...
- 1