International Workshop on Formal Methods for Industrial Critical Systems (10 : 2005 : Lissabon) Bezüge im Wissensnetz Veranstaltungsort (1) GND Lissabon