Embedded Systems

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.


No partial template found

Ongoing research projects