Renan Leroux-Beaudout, Marc Pantel, Ileana Ober, Jean-Michel Bruel. Model-Based Systems Engineering for Systems Simulation.
Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018), Oct 2018, Limassol, Cyprus. pp.429-448.
⟨hal-02124418⟩