Text

Formal Modelling and Analysis of Embedded Systems

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.

Contact

Senior Lecturer

Cristina Seceleanu

+4621151764

cristina.seceleanu@mdh.se

Ongoing research projects