3 résultat(s)
Télécharger le livre : Systèmes temps réel 2 : ordonnancement, réseaux et qualité de service
Nicolas Navet
Systèmes temps réel 2 : ordonnancement, réseaux et qualité de service
Aujourd'hui, les systèmes informatiques temps réel sont présents dans de multiples secteurs d'activités : contrôle des systèmes automatisés de production, aide à la conduite des véhicules ou gestion des flux d'information sur des réseaux locaux et sur l'Internet. Au...
Editeur : Hermés science
Parution : 2006-06-16
Collection : Traité IC2
Format(s) : PDF sans DRM
125,55 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Systèmes temps réel 1
Nicolas Navet
Systèmes temps réel 1
Aujourd'hui, les systèmes informatiques temps réel sont présents dans de multiples secteurs d'activités : contrôle des systèmes automatisés de production, aide à la conduite des véhicules ou gestion des flux d'information sur des réseaux locaux et sur l'Internet. Au...
Editeur : Hermés science
Parution : 2006-06-16
Collection : Traité IC2
Format(s) : PDF sans DRM
125,55 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Modeling and Verification of Real-time Systems
Stephan Merz , Nicolas Navet
Modeling and Verification of Real-time Systems
This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness. Topics addressed include mathematical...
Editeur : Wiley-ISTE
Parution : 2013-03-07

Format(s) : PDF, ePub
253,15 €
Téléchargement immédiat
Dès validation de votre commande