ASADAL/PROVER: A Toolset for Verifying Temporal Properties of Real-Time System Specifications in Statechart

• Autores: K. Ko, K. Kang
• Localización: IEICE transactions on information and systems, ISSN 0916-8532, Vol. 82, Nº 2, 1999, págs. 398-411
• Idioma: inglés
• Texto completo no disponible (Saber más ...)