International Workshop on Software Specification of Safety Relevant Transportation Control Tasks (2002 : Braunschweig) Bezüge im Wissensnetz Veranstaltungsort (1) GND Braunschweig