axel legay
Automated Technology for Verification and Analysis
TaschenbuchPrint on DemandThis book constitutes the proceedings of the 14th International Symposium on Automated Technology...
Tools and Algorithms for the Construction and Analysis of Systems
TaschenbuchPrint on DemandThe two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Confere...
Tools and Algorithms for the Construction and Analysis of Systems
TaschenbuchPrint on DemandThe two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Confere...
Formal Modeling and Analysis of Timed Systems
TaschenbuchPrint on DemandInhaltsangabeThe Modeling and Analysis of Mixed-Criticality Systems.- Modeling Bitcoin Contracts ...
From Programs to Systems - The Systems Perspective in Computing
TaschenbuchPrint on Demand'From Programs to Systems - The Systems Perspective in Computing' workshop (FPS 2014) was held in...
Hardware and Software: Verification and Testing
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 9th International Haifa Verification Confer...
Runtime Verification
TaschenbuchPrint on DemandInhaltsangabeInvited Papers.- Executing Specifications using Synthesis and Constraint Solving.- R...
Model Checking Software
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 26th International Symposium on Model Check...
- 1