Computer and Data Science
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
No partial template found