International Symposium on High Assurance Systems Engineering (5 : 2000 : Albuquerque, NM) Bezüge im Wissensnetz Veranstaltungsort (1) GND Albuquerque, NM