Submit to this Journal Review for this Journal Propose a Special Issue

Article Menu

Order Article Reprints

Journal: J. Mar. Sci. Eng., 2025
Volume: 13
Number: 1058
1058
Article: Towards Hazard Analysis Result Verification for Autonomous Ships: A Formal Verification Method Based on Timed Automata
Authors: by Xiang-Yu Zhou, Shiqi Jin, Yang Mei, Xu Sun, Xue Yang, Shengzheng Nie and Wenjun Zhang
Link: https://www.mdpi.com/2077-1312/13/6/1058

MDPI offers high quality article reprints with convenient shipping to destinations worldwide. Each reprint features a 270 gsm bright white cover and 105 gsm premium white paper, bound with two stitches for durability and printed in full color. The cover design is customized to your article and designed to be complimentary to the journal.

Order Cost and Details

Number of pages ^req

Copies ^req

Destination Country / Region ^req

Reprint Price

Shipment Price

Total Estimated Price

Total Estimated Price Incl. VAT

Shipping Address

First Name ^req

Last Name ^req

E-mail Address ^req

Phone Number ^req

VAT / Reference No.

Company / Institute

Address (P.O. box cannot be used) ^req

Post Code ^req

City ^req

State (mandatory for USA)

Destination Country / Region

Billing Address

Same as Shipping Address

First Name ^req

Last Name ^req

E-mail Address ^req

Phone Number

Company / Institute

Address ^req

Post Code ^req

City ^req

State (mandatory for USA)

Country / Region ^req

Notes or Comments

Comments

Validate and Place Order

^req

The order must be prepaid after it is placed

^req denotes required fields.

Article Menu

Order Article Reprints

Order Cost and Details

Shipping Address

Billing Address

Notes or Comments

Validate and Place Order

Further Information

Guidelines

MDPI Initiatives

Follow MDPI