CRTES
The Critical Creal-Time Embedded Systems (CRTES) group studies how to build provably safe mission-critical embedded systems in a time and cost-efficient manner.
Our research group
The focus of this group is on software-intensive real-time systems having strong dependability constraints and a significant societal impact such as transportation systems (road vehicles, aircrafts, etc).
Head of group
