Logo ISAE3
EN
FR |
Jérôme Hugues > Research

Research

Dernier ajout : 7 décembre 2010.

This section details some of my research activities around the engineering of Distributed Real-time Embedded systems, and High-Integrity systems.

Most of activities are centered around the use of the AADL and the SPARK/Ada languages.

SPIP | | Suivre la vie du site RSS 2.1