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

Author： Austin Mark A.   Johnson John  

Publisher： MDPI

E-ISSN： 2079-8954|6|1|2-2

ISSN： 2079-8954

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

Access to resources Favorite

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

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

By Petnga Leonard   Austin Mark  

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

MDPI

Access to resources Recommend Favorite

Application of System Dynamics to Evaluate the Social and Economic Benefits of Infrastructure Projects

By Nguyen Tiep   Cook Stephen   Ireland Vernon  

Systems, Vol. 5, Iss. 2, 2017-03 ,pp. : 29-29

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

Model of the Russian Federation Construction Innovation System: An Integrated Participatory Systems Approach

By Suprun Emiliya   Sahin Oz   Stewart Rodney A.   Panuwatwanich Kriengsak  

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

MDPI

Access to resources Recommend Favorite

Postmodern Fuzzy System Theory: A Deconstruction Approach Based on Kabbalah

By Burstein Gabriel   Negoita Constantin Virgil   Kranz Menachem  

Systems, Vol. 2, Iss. 4, 2014-11 ,pp. : 590-605

MDPI

Access to resources Recommend Favorite