Login / Signup
Hernán P. Dacharry
Publication Activity (10 Years)
Years Active: 2007-2007
Publications (10 Years): 0
</>
Publications
</>
Hernán P. Dacharry
,
Norbert Giambiasi
A formal verification approach for DEVS.
SCSC
(2007)
Hernán P. Dacharry
,
Norbert Giambiasi
Discrete event modeling through a multi-formalism approach, from a user-oriented perspective.
SpringSim (2)
(2007)