Towards Verification of Uncertain Cyber-Physical Systems.

Carna Radojicic Christoph Grimm Axel Jantsch Michael Rathmair

Published in: SNR@ETAPS (2017)

Keyphrases

cyber physical systems
cyber physical
cyber security
physical world
real time
embedded systems
social networks
decision making
mobile devices