Application of Formal Methods for Safety and Security Critical Systems (Veranstaltung : 1. : 2016 : Bangalore) Bezüge im Wissensnetz Veranstaltungsort (1) GND Bangalore