Study on Modeling Formalism and Co-simulation for the System-level Test of Maritime Components | IEEE Conference Publication | IEEE Xplore