International Conference on Formal Methods and Models for Codesign (8 : 2010 : Grenoble) Bezüge im Wissensnetz Veranstaltungsort (1) GND Grenoble