Les pages professionnellesdes enseignants chercheurs

Jérôme Hugues

  1. Accueil
  2. Jérôme Hugues
  3. Research

Research

Dernier ajout

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.


  • SPARK/Ada

    5 septembre

  • AADL

    5 septembre
    Research activities around the Architecture Analysis and Design Language (AADL)
En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies pour vous proposer des contenus et services adaptés OK
Pour accéder à toutes les fonctionnalités de ce site, vous devez activer JavaScript. Voici les instructions pour activer JavaScript dans votre navigateur Web.