Partial Order Reduction for Detecting Safety and Timing Failures of Timed Circuits

• Autores: Denduang Pradubsuwun, Tomohiro Yoneda, Chris Myers
• Localización: IEICE transactions on information and systems, ISSN 0916-8532, Vol. 88, Nº 7, 2005, págs. 1646-1661
• Idioma: inglés
• Texto completo no disponible (Saber más ...)