Checking of Timing Constraint Violation Based on Graph in Reactive Systems

• Autores: Hideo Kobayashi
• Localización: IEICE transactions on fundamentals of electronics, communications and computer, ISSN 0916-8508, Vol. 85, Nº 4, 2002, págs. 909-913
• Idioma: inglés
• Texto completo no disponible (Saber más ...)