International Symposium on High Assurance Systems Engineering (6 : 2001 : Boca Raton, Fla.) Bezüge im Wissensnetz Veranstaltungsort (1) GND Boca Raton, Fla.