Chaining Model Transformations for System Model Verification: Application to Verify Capella Model with Simulink.

Christophe Duhil, Jean-Philippe Babau, Eric Lpicier, Jean-Luc Voirin, Juan F. Navas

Browse the full MODELSWARD paper archive.