Wolfgang A. Halang
-
Temporal verification of RT-DEVS models with implementation aspects
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference