Simulation and verification II: from timed automata to DEVS models.

Norbert Giambiasi, Jean-Luc Paillet, Frdric Chne

Browse the full WSC paper archive.