19th HASE 2019: Hangzhou, China

Session 1: Data Analytics for High Assurance Systems Engineering

Session 2: Development and Understanding

Session 3: Platforms, Architectures and Design

Session 4: System Operation and Behavior

Session 5: Security and Privacy

Session 6: Emerging Systems of High Assurance

Workshop on Security issues in Cyber-Physical System (SecCPS)

a service of Schloss Dagstuhl - Leibniz Center for Informatics