Temporal verification of RT-DEVS models with implementation aspects

• Autores: F. Cicirelli, A. Furfaro, L. Nigro, F. Pupo
• Localización: Proceedings of the 2010 Spring Simulation Multiconference / coord. por Eric Shaun Imsand, 2010, ISBN 9781450300698, págs. 1-8
• Idioma: inglés
• Texto completo no disponible (Saber más ...)