Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm.

• Autores: F. Liu, H. Lin, Z. Dziong
• Localización: Automatica: A journal of IFAC the International Federation of Automatic Control, ISSN 0005-1098, Vol. 47, Nº. 4, 2011, págs. 782-788
• Idioma: inglés
• Texto completo no disponible (Saber más ...)