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

Formal Proof of the Dependable Bypassing Routing Algorithm Suitable for Adaptive Networks on Chip QnoC Architecture

By Daoud Hayat   Tanougast Camel   Belarbi Mostefa   Heil Mikael   Diou Camille  

Systems, Vol. 5, Iss. 1, 2017-02 ,pp. : 17-17

MDPI

Access to resources Recommend Favorite

Systems Education at Bergen

By Davidsen Pål I.   Kopainsky Birgit   Moxnes Erling   Pedercini Matteo   Wheat I. David  

Systems, Vol. 2, Iss. 2, 2014-04 ,pp. : 159-167

MDPI

Access to resources Recommend Favorite

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

Overview and Insights from ‘Systems Education for a Sustainable Planet’

By Cavana Robert Y.   Forgie Vicky E.  

Systems, Vol. 6, Iss. 1, 2018-02 ,pp. : 5-5

MDPI

Access to resources Recommend Favorite