Formal verification of totally self-checking properties of combionational circuits

• Autores: Kazuo Kawakubo, Koji Tanaka, Hiromi Hiraishi
• Localización: IEICE transactions on information and systems, ISSN 0916-8532, Vol. 80, Nº. 1, 1997, págs. 57-62
• Idioma: inglés
• Texto completo no disponible (Saber más ...)