Pavithra Prabhakar

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

Numerical Software Verification