Formal Modeling and Analysis of Timed Systems Etienne André & Mariëlle Stoelinga의 도서 더 보기

Formal Methods and Software Engineering Formal Methods and Software Engineering
Formal Methods and Software Engineering
2025년
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
2023년
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
2023년
Je t'aime, merci Je t'aime, merci
Je t'aime, merci
2018년
The Inverse Method The Inverse Method
The Inverse Method
2013년