Modelling and Analysis of Cyber-Physical Systems

Sorina Predut

Assistant Professor, University of Bucharest, Faculty of Mathematics and Computer Science
Research interests:
- Formal specification methodologies including model based testing,
- Software testing
CV