NATO Advanced Study Institute on Verification and Synthesis of Correct and Secure Systems (2015 : Marktoberdorf) Bezüge im Wissensnetz Veranstaltungsort (1) GND Marktoberdorf