• English
    • français
  • Help
  •  | 
  • Contact
  •  | 
  • About
  •  | 
  • Login
  • HAL portal
  •  | 
  • Pages Pro
  • EN
  •  / 
  • FR
View Item 
  •   LillOA Home
  • Liste des unités
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
  • View Item
  •   LillOA Home
  • Liste des unités
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Design and analysis of semaphore precedence ...
  • BibTeX
  • CSV
  • Excel
  • RIS

Document type :
Communication dans un congrès avec actes
Title :
Design and analysis of semaphore precedence constraints: A model-based approach for deterministic communications
Author(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] refId
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]]
Conference title :
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE)
City :
Dresden
Country :
Allemagne
Start date of the conference :
2018-03-19
HAL domain(s) :
Informatique [cs]/Systèmes embarqués
Language :
Anglais
Peer reviewed article :
Oui
Audience :
Internationale
Popular science :
Non
Collections :
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
Source :
Harvested from HAL
Université de Lille

Mentions légales
Accessibilité : non conforme
Université de Lille © 2017