System level validation using formal techniques

• Autores: R. Drechsler
• Localización: IEE Proceedings: Computers and digital techniques, ISSN 1350-2387, Vol. 152, Nº 3, 2005, págs. 393-406
• Idioma: inglés
• Texto completo no disponible (Saber más ...)