A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing
['Jean-Marie Gauthier', 'F. Bouquet', 'Ahmed Hammad', 'Fabien Peureux']
A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing