![Open access](/images/ico/o.png)
![](/images/ico/ico5.png)
Author: Chen Rui Yang
Publisher: MDPI
E-ISSN: 2079-8954|4|3|30-30
ISSN: 2079-8954
Source: Systems, Vol.4, Iss.3, 2016-09, pp. : 30-30
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
![](/images/ico/o.png)
![](/images/ico/ico5.png)
![](/images/ico/o.png)
![](/images/ico/ico5.png)
![](/images/ico/o.png)
![](/images/ico/ico5.png)
![](/images/ico/o.png)
![](/images/ico/ico5.png)
![](/images/ico/o.png)
![](/images/ico/ico5.png)
Model-Based Design and Formal Verification Processes for Automated Waterway System Operations
Systems, Vol. 4, Iss. 2, 2016-06 ,pp. :