Formal Analysis and Design of Supervisor and User Interface Allowing for Non-Deterministic Choices Using Weak Bi-Simulation

Author： Khan Shazada Muhammad Umair He Wenlong

Publisher： MDPI

E-ISSN： 2076-3417|8|2|221-221

ISSN： 2076-3417

Source： Applied Sciences, Vol.8, Iss.2, 2018-01, pp. : 221-221

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

Using Reputation Systems and Non-Deterministic Routing to Secure Wireless Sensor Networks

By Moya José M. Vallejo Juan Carlos Fraga David Araujo Álvaro Villanueva Daniel de Goyeneche Juan-Mariano

Sensors, Vol. 9, Iss. 05, 2009-05 ,pp. : 3958-3980

MDPI

Access to resources Recommend Favorite

Optimization of Capacitive Acoustic Resonant Sensor Using Numerical Simulation and Design of Experiment

By Haque Rubaiyet Iftekharul Loussert Christophe Sergent Michelle Benaben Patrick Boddaert Xavier

Sensors, Vol. 15, Iss. 4, 2015-04 ,pp. : 8945-8967

MDPI

Access to resources Recommend Favorite

Protocells: At the Interface of Life and Non-Life

By Ma Wentao Feng Yu

Life, Vol. 5, Iss. 1, 2015-02 ,pp. : 447-458

MDPI

Access to resources Recommend Favorite

Recognizing the Operating Hand and the Hand-Changing Process for User Interface Adjustment on Smartphones †

By Guo Hansong Huang He Huang Liusheng Sun Yu-E

Sensors, Vol. 16, Iss. 8, 2016-08 ,pp. : 1314-1314

MDPI

Access to resources Recommend Favorite

Non-Destructive Evaluation of Depth of Surface Cracks Using Ultrasonic Frequency Analysis

By Her Shiuh-Chuan Lin Sheng-Tung

Sensors, Vol. 14, Iss. 9, 2014-09 ,pp. : 17146-17158

MDPI

Access to resources Recommend Favorite