International Conference on Formal Methods and Models for Codesign (11 : 2013 : Portland, Or.) Bezüge im Wissensnetz Veranstaltungsort (1) GND Portland, Or.