Spécification et conception des systèmes : une méthodologie / Jean-Paul Cal...

Livre | Calvez, Jean-Paul. Auteur | 1990

Design of real-time computer systems / James Martin,...

Livre | Martin, James (1933-2013). Auteur | 1967

Systèmes temps réel autonomes en énergie / Maryline Chetto, Audrey Queudet

Livre | Chetto, Maryline (1959-....). Auteur | 2017

"Cet ouvrage traite d'une problématique récente, celle de l'autonomie énergétique d'un système temps réel s'alimentant à partir d'une source d'énergie environnementale. Concevoir un tel dispositif nécessite de répondre a...

Vérification des contraintes temporelles de bout-en-bout dans le contexte A...

Livre | Monot, Aurélien. Auteur | 2012

Les systèmes électroniques embarqués dans les véhicules ont une complexité sans cesse croissante. Cependant, il est crucial d'en maîtriser le comportement temporel afin de garantir la sécurité ainsi que le confort des pass...

Systèmes temps réel de contrôle-commande : conception et implémentation / F...

Livre | Cottet, Francis. Auteur | 2005

Cet ouvrage présente une méthodologie complète et opérationnelle de développement des systèmes temps réel de contrôle-commande. Il permet au lecteur de : connaître et mettre en oeuvre les méthodes de spécification et de...