Formal Verification of Semi-Algebraic Sets and Real Analytic Functions
Certified Programs and Proofs ; 2021 ; Virtual, US
Miscellaneous
No indication
English
Formal modeling and verification of real-time concurrent systems
Tema Archive | 2008
|