Verifying Cyber-Physical System Behavior in the Context of Cyber-Physical System-Networks

Jennifer Brings. Verifying Cyber-Physical System Behavior in the Context of Cyber-Physical System-Networks. In 25th IEEE International Requirements Engineering Conference, RE 2017, Lisbon, Portugal, September 4-8, 2017. pages 556-561, IEEE Computer Society, 2017. [doi]

Abstract

Abstract is missing.