Model-Based Design and Formal Verification Processes for Automated Waterway System Operations

Publisher： MDPI

E-ISSN： 2079-8954|4|2|23-23

ISSN： 2079-8954

Source： Systems, Vol.4, Iss.2, 2016-06, pp. : 23-23

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Compositional Approach to Distributed System Behavior Modeling and Formal Validation of Infrastructure Operations with Finite State Automata: Application to Viewpoint-Driven Verification of Functionality in Waterways

By Austin Mark A. Johnson John

Systems, Vol. 6, Iss. 1, 2018-01 ,pp. : 2-2

MDPI

Access to resources Recommend Favorite

Thinking Tracks for Multidisciplinary System Design

By Bonnema Gerrit Maarten Broenink Jan F.

Systems, Vol. 4, Iss. 4, 2016-11 ,pp. : 36-36

MDPI

Access to resources Recommend Favorite

System-of-Systems Design Thinking on Behavior

By Stary Christian

Systems, Vol. 5, Iss. 1, 2017-01 ,pp. : 3-3

MDPI

Access to resources Recommend Favorite

Using Textual Data in System Dynamics Model Conceptualization

By Eker Sibel Zimmermann Nici

Systems, Vol. 4, Iss. 3, 2016-08 ,pp. : 28-28

MDPI

Access to resources Recommend Favorite

The Design of Educational Programs in System Dynamics at Worcester Polytechnic Institute (WPI) ^†

By Pavlov Oleg V. Doyle James K. Saeed Khalid Lyneis James M. Radzicki Michael J.

Systems, Vol. 2, Iss. 1, 2014-03 ,pp. : 54-76

MDPI

Access to resources Recommend Favorite