A Model-Based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems

Publisher： IGI Global_journal

E-ISSN： 1546-5004|13|1|40-52

ISSN： 1545-7362

Source： International Journal of Web Services Research (IJWSR), Vol.13, Iss.1, 2016-01, pp. : 40-52

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

Resilient dependable cyber-physical systems: a middleware perspective

By Denker Grit  

Journal of Internet Services and Applications, Vol. 3, Iss. 1, 2012-05 ,pp. : 41-49

Springer Publishing Company

Access to resources Recommend Favorite

Enabling cyber-physical systems with machine-to-machine technologies

By Wan Jiafu  

International Journal of Ad Hoc and Ubiquitous Computing, Vol. 13, Iss. 3-4, 2013-07 ,pp. : 187-196

Inderscience Publishers

Access to resources Recommend Favorite

PaderMAC: Energy-efficient machine to machine communication for cyber-physical systems

By Autenrieth Marcus   Frey Hannes  

Peer-to-Peer Networking and Applications, Vol. 7, Iss. 3, 2014-09 ,pp. : 243-254

Springer Publishing Company

Access to resources Recommend Favorite

Cyber-Physical Platform Development for Multivariable Artificial Pancreas Systems

By  

International Journal of Handheld Computing Research (IJHCR), Vol. 6, Iss. 3, 2015-07 ,pp. : 1-16

IGI Global_journal

Access to resources Recommend Favorite

Should I Try Turning It Off and On Again?: Outlining HCI Challenges for Cyber-Physical Production Systems

By  

International Journal of Information Systems for Crisis Response and Management (IJISCRAM), Vol. 7, Iss. 3, 2015-07 ,pp. : 55-68

IGI Global_journal

Access to resources Recommend Favorite