Le cours porte sur la caractérisation, la modélisation, l'analyse, la conception et la vérification des systèmes temps réel, incluant l'ordonnancement, la communication, la synchronisation, la tolérance aux fautes et les méthodes basées sur les modèles.
Le cours porte sur la caractérisation, la modélisation, l'analyse, la conception et la vérification des systèmes temps réel, incluant l'ordonnancement, la communication, la synchronisation, la tolérance aux fautes et les méthodes basées sur les modèles.
