| Titre : |
Systemes temps réel 1 : Technique de description et de vérification |
| Type de document : |
texte imprimé |
| Auteurs : |
nicolas Navet |
| Editeur : |
Paris : Lavoisier |
| Année de publication : |
2006 |
| Importance : |
370 p |
| Présentation : |
couv: ill |
| Format : |
24cm |
| ISBN/ISSN/EAN : |
978-2-7462-1303-6 |
| Langues : |
Français (fre) |
| Tags : |
Systemes temps réel 1 |
| Index. décimale : |
E004.6 |
| Résumé : |
ILtraite les réseaux et telecoms, traitement du signal et de l'image , systemes automatisés d'information , management et gestion des STICS , informaique et systemes d' information , cognition et traitement de l'information . |
| Note de contenu : |
Réseaux de petri temporels : méthodes d'analyse et vérifications avec TINA
Combinaison entre vérification et test pour la validation de systèmes réactifs
Model checking : éléments de base
Vérification par automates temporisés
Modélisation et analyse de systèmes asynchrones avec CADP
Vérification de programmes synchrones avec Lustre/Lesar
Synchrone, un langage de programmation des systèmes réactifs
Vérification de systèmes probabilisés : méthodes et outils
La boîte à outils IF pour la modélisation et la vérification de systèmes temps réels
Description d'architectures pour le temps réel : l'approche AADL |
Systemes temps réel 1 : Technique de description et de vérification [texte imprimé] / nicolas Navet . - Paris : Lavoisier, 2006 . - 370 p : couv: ill ; 24cm. ISBN : 978-2-7462-1303-6 Langues : Français ( fre)
| Tags : |
Systemes temps réel 1 |
| Index. décimale : |
E004.6 |
| Résumé : |
ILtraite les réseaux et telecoms, traitement du signal et de l'image , systemes automatisés d'information , management et gestion des STICS , informaique et systemes d' information , cognition et traitement de l'information . |
| Note de contenu : |
Réseaux de petri temporels : méthodes d'analyse et vérifications avec TINA
Combinaison entre vérification et test pour la validation de systèmes réactifs
Model checking : éléments de base
Vérification par automates temporisés
Modélisation et analyse de systèmes asynchrones avec CADP
Vérification de programmes synchrones avec Lustre/Lesar
Synchrone, un langage de programmation des systèmes réactifs
Vérification de systèmes probabilisés : méthodes et outils
La boîte à outils IF pour la modélisation et la vérification de systèmes temps réels
Description d'architectures pour le temps réel : l'approche AADL |
|  |
Affiner la recherche Interroger des sources externes
