A Clock Based Approach to the Formal Specification of Cyber Physical Systems.

Bingqing Xu Lichen Zhang

Published in: EMC/HumanCom (2013)

Keyphrases

formal specification
cyber physical systems
cyber physical
model checking
object oriented design
process algebra
high speed
reverse engineering
formal methods
physical world
power consumption
cyber security
software components
real time
object oriented