saddek bensalem
From Programs to Systems - The Systems Perspective in Computing
Print on Demand'From Programs to Systems - The Systems Perspective in Computing' workshop (FPS 2014) was held in...
Runtime Verification
Print on DemandInhaltsangabeInvited Papers.- Executing Specifications using Synthesis and Constraint Solving.- R...
Verification and Evaluation of Computer and Communication Systems
Print on DemandThis book constitutes the proceedings of the 12th International Conference on Verication and Eval...
- 1