Sarra Missaoui, Faïda Mhenni, Jean-Yves Choley, Nga Nguyen. Verification and validation of the consistency between multi-domain system models. In 2018 Annual IEEE International Systems Conference, SysCon 2018, Vancouver, BC, Canada, April 23-26, 2018. pages 1-7, IEEE, 2018. [doi]
Abstract is missing.