Performance Evaluation of Concurrent SYstem Using Formal Model: Simulation Speedup

• Autores: Wan Bok Lee, Tag Gon Kim
• Localización: IEICE transactions on fundamentals of electronics, communications and computer, ISSN 0916-8508, Vol. 86, Nº 11, 2003, págs. 2755-2766
• Idioma: inglés
• Texto completo no disponible (Saber más ...)