A formal verification approach for DEVS. - Hernán P. Dacharry; Norbert Giambiasi (SCSC, 2007)

Discrete event modeling through a multi-formalism approach, from a user-oriented perspective. - Hernán P. Dacharry; Norbert Giambiasi (SpringSim (2), 2007)