Formal Modelling and Analysis of Embedded Systems

Focus:

Focusing on formal modelling, analysis, and verification techniques for real-time embedded systems. In particular, formal syntax and semantics of componentbased and service oriented models with extra-functional properties such as time or resources.

Cristina Seceleanu, Associate Professor

Email: cristina.seceleanu@mdh.se
Room: U1-170
Phone: +46-21-151764