Attack Synchronizing Sequences for Output Synchronized Petri Nets with Multiple Deadlocks
Séquences de synchronisation d'attaque pour les réseaux de Petri synchronisés avec sorties à blocages
Domaines
AutomatiqueOrigine | Fichiers produits par l'(les) auteur(s) |
---|