Ahmed Bouajjani
Ahmed Bouajjani
5 ספרים במאגר
ספרים
Networked SystemsAhmed Bouajjani
Networked Systems
Ahmed Bouajjani · 2016
Automated Technology for Verification and AnalysisAhmed Bouajjani
Automated Technology for Verification and Analysis
Ahmed Bouajjani · 2010
Verification, Model Checking, and Abstract InterpretationAhmed Bouajjani
Verification, Model Checking, and Abstract Interpretation
Ahmed Bouajjani · 2017
Formal Techniques for Disributed Objects, Components, and SystemsAhmed Bouajjani
Formal Techniques for Disributed Objects, Components, and Systems
Ahmed Bouajjani · 2017
Computer Aided VerificationAhmed Bouajjani
Computer Aided Verification
Ahmed Bouajjani · 2009