Titre :

Design and analysis of semaphore precedence constraints: A model-based approach for deterministic communications

Auteur(s) :

Nguyen, Thanh Dat [Auteur]
Systèmes Embarqués Temps Réel [SETR]
Laboratoire d'informatique et d'automatique pour les systèmes [EA 6315] [LIAS [Poitiers]]
Ouhammou, Yassine [Auteur]
Systèmes Embarqués Temps Réel [SETR]
Laboratoire d'informatique et d'automatique pour les systèmes [EA 6315] [LIAS [Poitiers]]
Grolleau, Emmanuel [Auteur]
Laboratoire d'informatique et d'automatique pour les systèmes [EA 6315] [LIAS [Poitiers]]
Systèmes Embarqués Temps Réel [SETR]
École Nationale Supérieure de Mécanique et d’Aérotechnique [Poitiers] [ISAE-ENSMA]
Forget, Julien [Auteur]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Pagetti, Claire [Auteur]
DTIS, ONERA, Université de Toulouse [Toulouse]
Richard, Pascal [Auteur]
Université de Poitiers = University of Poitiers [UP]
Laboratoire d'informatique et d'automatique pour les systèmes [EA 6315] [LIAS [Poitiers]]

Titre de la manifestation scientifique :

2018 Design, Automation & Test in Europe Conference & Exhibition (DATE)

Ville :

Dresden

Pays :

Allemagne

Date de début de la manifestation scientifique :

2018-03-19

Discipline(s) HAL :

Informatique [cs]/Systèmes embarqués

Langue :

Anglais

Comité de lecture :

Oui

Audience :

Internationale

Vulgarisation :

Non

Collections :

• Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL