Modelling and Analysis of Cyber-Physical Systems
Modelling and Analysis of Cyber-Physical Systems
Members
Home
(current)
Objectives
Members
Publications
Tools and Software
Ana Turlea
Teaching assistant,
University of Bucharest
,
Faculty of Mathematics and Computer Science
PhD student,
University of Bucharest
,
Faculty of Mathematics and Computer Science
Research interests:
Formal specification methodologies
Model based software testing using evolutionary approaches
Membrane Computing
CV