Sign in
On the decidability of linear bounded periodic cyber-physical systems.
Ruggero Lanotte
Massimo Merro
Fabio Mogavero
Published in:
HSCC (2019)
Keyphrases
</>
cyber physical systems
cyber physical
cyber security
physical world
software engineering
real time
data mining
social networks
information systems