Research Group Critical Real-Time Embedded Systems (CRTES)

CRTES

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

    Prof. Nicolas NAVET

    Full professor in Computer science

    Learn More

    This group is part of:

    Share this