International Symposium on High Assurance Systems Engineering (8 : 2004 : Tampa, Fla.) Bezüge im Wissensnetz Veranstaltungsort (1) GND Tampa, Fla.