Pavithra Prabhakar

Sách
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
2025
Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
2018
Numerical Software Verification Numerical Software Verification
Numerical Software Verification
2017