NARA Discovery
Article Details
← Back to Search Results
Journal Article

Model checking-aided design of ship control and monitoring system based on cause and effect matrix

Rafael Celestino dos Santos; Felipe da Silva Lázaro; Max Hering de Queiroz; Mauricio Andrade Lemme; Rui Rodrigues de Mello Junior
Ocean Engineering · Vol. 342 · pp. 123059 · 2025
View Full Text Download RIS Journal Homepage

Abstract

Abstract is unavailable.

Bibliographic Information

JournalOcean Engineering
PublisherPergamon
Publication Date2025-12-01
Publication Year2025
Volume342
Pages123059
Document TypeJournal Article
eISSN0029-8018
DOI10.1016/j.oceaneng.2025.123059
SubjectEnvironmental Science

Access Information

NARA Access Coverage1968-07-01~Current
Journal Homepagehttps://www.sciencedirect.com/science/journal/00298018
Publisher PageOpen Publisher Page
Full-text access depends on NARA's subscribed coverage and institutional access.