Model-Based Specification and Refinement for Cyber-Physical Systems.

Rolf Drechsler Serge Autexier Christoph Lüth

Published in: LDIC (2016)

Keyphrases

cyber physical systems
cyber physical
cyber security
physical world
embedded systems
real time
data mining
mobile devices
high speed
cost effective