Abstraction-based verification of codiagnosability for discrete event systems.

• Autores: K. Schmidt
• Localización: Automatica: A journal of IFAC the International Federation of Automatic Control, ISSN 0005-1098, Vol. 46, Nº. 9, 2010, págs. 1489-1494
• Idioma: inglés
• Texto completo no disponible (Saber más ...)