Model-Based Design and Formal Verification Processes for Automated Waterway System Operations
Waterway and canal systems are particularly cost effective in the transport of bulk and containerized goods to support global trade. Yet, despite these benefits, they are among the most under-appreciated forms of transportation engineering systems. Looking ahead, the long-term view is not rosy. Fail...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2016-06-01
|
| Series: | Systems |
| Subjects: | |
| Online Access: | http://www.mdpi.com/2079-8954/4/2/23 |