Liu, Zizheng;
Chu, Yingguang;
Li, Guoyuan;
Zhang, Houxiang.
(2023)
A Co-simulation-Based System Using Vico for Marine Operation.
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
