Zhou, X.-Y.; Jin, S.; Mei, Y.; Sun, X.; Yang, X.; Nie, S.; Zhang, W.
Towards Hazard Analysis Result Verification for Autonomous Ships: A Formal Verification Method Based on Timed Automata. J. Mar. Sci. Eng. 2025, 13, 1058.
https://doi.org/10.3390/jmse13061058
AMA Style
Zhou X-Y, Jin S, Mei Y, Sun X, Yang X, Nie S, Zhang W.
Towards Hazard Analysis Result Verification for Autonomous Ships: A Formal Verification Method Based on Timed Automata. Journal of Marine Science and Engineering. 2025; 13(6):1058.
https://doi.org/10.3390/jmse13061058
Chicago/Turabian Style
Zhou, Xiang-Yu, Shiqi Jin, Yang Mei, Xu Sun, Xue Yang, Shengzheng Nie, and Wenjun Zhang.
2025. "Towards Hazard Analysis Result Verification for Autonomous Ships: A Formal Verification Method Based on Timed Automata" Journal of Marine Science and Engineering 13, no. 6: 1058.
https://doi.org/10.3390/jmse13061058
APA Style
Zhou, X.-Y., Jin, S., Mei, Y., Sun, X., Yang, X., Nie, S., & Zhang, W.
(2025). Towards Hazard Analysis Result Verification for Autonomous Ships: A Formal Verification Method Based on Timed Automata. Journal of Marine Science and Engineering, 13(6), 1058.
https://doi.org/10.3390/jmse13061058