Workshop on Formal Design of Safety Critical Embedded Systems (1997 : München) Bezüge im Wissensnetz Veranstaltungsort (1) GND München