Towards Continuous Verification and Validation of Multi-Domain System Designs.

Yon Vanommeslaeghe, Bert Van Acker, Milan Cornelis, Paul De Meulenaere

Browse the full MODELS paper archive.