Deriving Specifications of Control Programs for Cyber Physical Systems.

Alan Burns Ian J. Hayes Cliff B. Jones

Published in: Comput. J. (2020)

Keyphrases

cyber physical systems
control system
cyber physical
physical world
information systems
cyber security
embedded systems
data mining