An Abstraction Method of Interpreted Petri Nets Preserving the Equivalence of the Controllable Observable Language
Domaines
Automatique / Robotique
Origine : Fichiers produits par l'(les) auteur(s)