saddek bensalem
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...
Runtime Verification
TaschenbuchPrint on DemandInhaltsangabeInvited Papers.- Executing Specifications using Synthesis and Constraint Solving.- R...
Verification and Evaluation of Computer and Communication Systems
TaschenbuchPrint on DemandThis book constitutes the proceedings of the 12th International Conference on Verication and Eval...
- 1