International Conference on Formal Methods and Models for Codesign (10 : 2012 : Arlington, Va.) Bezüge im Wissensnetz Veranstaltungsort (1) GND Arlington, Va.