Loading...
Derniers dépôts
-
Christophe Duhil, Jean-Philippe Babau, Eric Lépicier, Jean-Luc Voirin, Juan Navas. Chaining Model Transformations for System Model Verification : Application to Verify Capella Model with Simulink. 8th International Conference on Model-Driven Engineering and Software Development, Feb 2020, Valletta, Malta. pp.279-286, ⟨10.5220/0008902302790286⟩. ⟨hal-02866122⟩