Simulation of Multi-Formalism Models with ModHel’X

Frédéric Boulanger, Cécile Hardebolle. Simulation of Multi-Formalism Models with ModHel’X. In First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008. pages 318-327, IEEE Computer Society, 2008. [doi]

Abstract

Abstract is missing.