International Symposium on High Assurance Systems Engineering (9 : 2005 : Heidelberg) Bezüge im Wissensnetz Veranstaltungsort (1) GND Heidelberg