Verification of real-time DEVS models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hesham Saadawi, Gabriel Andrés Wainer. Verification of real-time DEVS models. In Gabriel Andrés Wainer, Clifford A. Shaffer, Robert M. McGraw, Michael J. Chinni, editors, Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, San Diego, California, USA, March 22-27, 2009. SCS/ACM, 2009. [doi]

This author has not been identified. Look up 'Hesham Saadawi' in GoogleIdentified as Gabriel Andrés Wainer

runs on WebDSL