Détail de l'auteur
Auteur Cassez, Franck |
Documents disponibles écrits par cet auteur (1)
Affiner la recherche
Controle des applications temps-reel : modeles temporises et hybrides. / Cassez, Franck
Titre : Controle des applications temps-reel : modeles temporises et hybrides. Type de document : texte imprimé Auteurs : Cassez, Franck, Auteur Editeur : Paris : Lavoisier Année de publication : 2006 Importance : 398p. Format : 24x17cm ISBN/ISSN/EAN : 978-2-7462-1483-5 Langues : Français (fre) Résumé : Le domaine de la synthèse de controleur et de l'ordonnancement de processus temps-réel a la récemment bénéficié d'avancéers théoriques et d'outils pratiques issus du domaine de la vérification de systèmes temporisés: les techniques de model checking et les outils associés. Controle des applications temps-reel : modeles temporises et hybrides. [texte imprimé] / Cassez, Franck, Auteur . - Paris : Lavoisier, 2006 . - 398p. ; 24x17cm.
ISBN : 978-2-7462-1483-5
Langues : Français (fre)
Résumé : Le domaine de la synthèse de controleur et de l'ordonnancement de processus temps-réel a la récemment bénéficié d'avancéers théoriques et d'outils pratiques issus du domaine de la vérification de systèmes temporisés: les techniques de model checking et les outils associés. Réservation
Réserver ce document
Exemplaires (6)
Code-barres Cote Support Localisation Section Disponibilité FTM7864 004.004.1.32/01 Livre magasin d'ouvrages 004.004.1 Info. Exclu du prêt FTM8955 004.004.1.32/02 Livre magasin d'ouvrages 004.004.1 Info. Disponible FTM8956 004.004.1.32/03 Livre magasin d'ouvrages 004.004.1 Info. Disponible FTM10719 004.004.1.32/04 Livre magasin d'ouvrages 004.004.1 Info. Disponible FTM10720 004.004.1.32/05 Livre magasin d'ouvrages 004.004.1 Info. Disponible FTM11969 004.004.1.32/06 Livre magasin d'ouvrages 004.004.1 Info. Disponible