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
Automatique
Origine : Fichiers produits par l'(les) auteur(s)