![Modélisation des systèmes temps-réel répartis embarqués pour la génération automatique d'applications formellement vérifiées | Semantic Scholar Modélisation des systèmes temps-réel répartis embarqués pour la génération automatique d'applications formellement vérifiées | Semantic Scholar](https://d3i71xaburhd42.cloudfront.net/b1bcb5c3062befd1caff06df748a3041433079ac/16-FigureI-1.png)
Modélisation des systèmes temps-réel répartis embarqués pour la génération automatique d'applications formellement vérifiées | Semantic Scholar
![Modélisation des systèmes temps-réel répartis embarqués pour la génération automatique d'applications formellement vérifiées | Semantic Scholar Modélisation des systèmes temps-réel répartis embarqués pour la génération automatique d'applications formellement vérifiées | Semantic Scholar](https://d3i71xaburhd42.cloudfront.net/b1bcb5c3062befd1caff06df748a3041433079ac/85-FigureV-1.png)
Modélisation des systèmes temps-réel répartis embarqués pour la génération automatique d'applications formellement vérifiées | Semantic Scholar
![Contribution à la conception et à la vérification de systèmes temps réel - Focus sur l'ordonnancement temps réel | Semantic Scholar Contribution à la conception et à la vérification de systèmes temps réel - Focus sur l'ordonnancement temps réel | Semantic Scholar](https://d3i71xaburhd42.cloudfront.net/0ed88f1ed3e4fa7c7864ab23af25288ec6b37e50/26-Figure2.1-1.png)
Contribution à la conception et à la vérification de systèmes temps réel - Focus sur l'ordonnancement temps réel | Semantic Scholar
![Conception d'un système de surveillance de l'énergie dans les bâtiments en temps réel, et la création d'une interface de communication | CR2IE Conception d'un système de surveillance de l'énergie dans les bâtiments en temps réel, et la création d'une interface de communication | CR2IE](https://www.cr2ie.com/wp-content/uploads/2020/01/bigstock-iot-concept-smart-home-connec-244063591.gif)