| Titre : |
Systemes Temps Réel 1 |
| Autre titre : |
Techniques de description et de vérification |
| Type de document : |
texte imprimé |
| Auteurs : |
Nicolas Navet, Auteur |
| Editeur : |
Lavoisier |
| Année de publication : |
2006 |
| Collection : |
Informatique et systèmes d\\\'informatique |
| Importance : |
370 p |
| Format : |
24 x 16 cm |
| ISBN/ISSN/EAN : |
978-2-7462-1303-6 |
| Langues : |
Français (fre) Langues originales : Français (fre) |
| Mots-clés : |
Réseaux de petri temporels , Combinaison entre vérification et test pour la validation de systèmes réactifs , Model checking , Vérification par automates temporisés ,Modélisation et analyse de systèmes asynchrones avec CADP , Vérification de programmes synchrones avec lustre ,Lucid synchrone , un langage de programmation des systèmes réactifs ,Vérification de systèmes probabilisés , La boite à outils IF pour la modélisation et la vérification de systèmes temps réel , Description d'architectures pour temps réel. |
| Index. décimale : |
384 |
Systemes Temps Réel 1 ; Techniques de description et de vérification [texte imprimé] / Nicolas Navet, Auteur . - [S.l.] : Lavoisier, 2006 . - 370 p ; 24 x 16 cm. - ( Informatique et systèmes d\\\'informatique) . ISBN : 978-2-7462-1303-6 Langues : Français ( fre) Langues originales : Français ( fre)
| Mots-clés : |
Réseaux de petri temporels , Combinaison entre vérification et test pour la validation de systèmes réactifs , Model checking , Vérification par automates temporisés ,Modélisation et analyse de systèmes asynchrones avec CADP , Vérification de programmes synchrones avec lustre ,Lucid synchrone , un langage de programmation des systèmes réactifs ,Vérification de systèmes probabilisés , La boite à outils IF pour la modélisation et la vérification de systèmes temps réel , Description d'architectures pour temps réel. |
| Index. décimale : |
384 |
|  |
Affiner la recherche Interroger des sources externes
