Stratégies de spécification des systèmes temps réel (SA-RT) / Derek J. Hatl...

Livre | Hatley, Derek J. (1934-....). Auteur | 1991

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

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

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...

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...

Méthodes et techniques de traitement du signal et applications aux mesures ...

Livre | Max, Jacques (1925-1987). Auteur | 1996 - 5e édition revue et augmentée