Verification and Validation of the Consistency between Multi-Domain System Models

Publication
IEEE International Systems Conference