Publikationen

Zeige Ergebnisse 1 bis 4 von 4

In: 12th Workshop on Model-Driven Engineering, Verification, and Validation. Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVa-12) 12th MODELS 2015 September 29-29 Ottawa ON Canada 2015.

Zur Publikation

In: Conference Proceedings. Asia and South Pacific Design Automation Conference (ASP-DAC-12) 17th January 30-February 2 Sydney New South Wales Australia 2012.

Zur Publikation

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence