International Conference on Formal Methods and Models for Codesign (9 : 2011 : Cambridge) Bezüge im Wissensnetz Veranstaltungsort (1) GND Cambridge