Skill-Based Verification of Cyber-Physical Systems.

Alexander Knüppel Inga Jatzkowski Marcus Nolte Thomas Thüm Tobias Runge Ina Schaefer

Published in: FASE (2020)

Keyphrases

cyber physical systems
cyber physical
physical world
cyber security
social networks
data collection
embedded systems
critical infrastructure
data analysis
data processing
virtual environment