Formal verification of real-time embedded software in an object-oriented application framework

• Autores: P.-A. Hsiung
• Localización: IEE Proceedings: Computers and digital techniques, ISSN 1350-2387, Vol. 151, Nº 6, 2004, págs. 417-434
• Idioma: inglés
• Texto completo no disponible (Saber más ...)