A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems.

Long Zhang Wenyan Hu WanXia Qu Yang Guo Sikun Li

Published in: Mob. Inf. Syst. (2017)

Keyphrases

cyber physical systems
cyber physical
mobile devices
physical world
cyber security
decision support system
embedded systems
information systems
decision making
context aware
lightweight
software systems