Présentation de la modélisation et de 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...). Explication du modèle des réseaux de Petri, outil graphique d'analyse qui permet de modéliser tous les concepts spécifiques. ©Electre 2025

Fiche Technique

Paru le : 09/03/2006

Thématique : Informatique Etudiant

Auteur(s) : Auteur : Annie Choquet-Geniet

Éditeur(s) : Dunod

Collection(s) : Sciences sup

Série(s) : Non précisé.

ISBN : Non précisé.

EAN13 : 9782100491476

Reliure : Broché

Pages : XII-242

Hauteur: 24.0 cm / Largeur 17.0 cm

Épaisseur: 1.6 cm

Poids: 443 g

29,90 €

Chargement...