Détail de l'auteur
Auteur M. Heiner |
Documents disponibles écrits par cet auteur (1)
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externes
rapport
M. Heiner | 1992La validation de logiciel basé sur le réseau de PETRI pour tester la synchronisation, et éviter les anomalies de contrôle de flux de données, est bien connue et utilisée depuis une dizaine d'années. La validation du modèle passe par le réseau du[...]