Poster Abstract: Methods and Tools for Verification of Cyber-Physical Systems.

Chris J. Myers Jian Wu Zhen Zhang Hao Zheng Yingying Zhang

Published in: ICCPS (2012)

Keyphrases

mobile devices
control system
low cost
virtual environment
power consumption
statistical methods