Franck Cassez
Franck Cassez
3 ספרים במאגר
ספרים
Automated Technology for Verification and AnalysisFranck Cassez
Automated Technology for Verification and Analysis
Franck Cassez · 2014
Formal Modeling and Analysis of Timed SystemsFranck Cassez
Formal Modeling and Analysis of Timed Systems
Franck Cassez · 2008
Modeling and Verification of Parallel ProcessesFranck Cassez
Modeling and Verification of Parallel Processes
Franck Cassez · 2003