Détail de l'auteur
Documents disponibles écrits par cet auteur (2)
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externes
texte imprimé
'ouvrage est consacré à la modélisation et à l'analyse des systèmes de contrôle dont le but est d'assurer la sûreté de fonctionnement des logiciels complexes (aéronautique, transports...). Cet ouvrage explique le modèle des réseaux de Petri, out[...]
Accueil
