Publikationen

Zeige Ergebnisse 1 bis 6 von 6

In: International Conference on Tests & Proofs- Proceedings. International Conference on Test & Proofs (TAP-14) 8th July 24-25 York United Kingdom 2014.

Zur Publikation

In: 8th International Workshop on Automation of Software Test. International Workshop on Automation of Software Test (AST-13) 8th May 18-19 San Francisco United States IEEE 2013.

Zur Publikation

In: Proceedings of the IEEE International Workshop on High-Level Design Validation and Test 2012. IEEE International Workshop on High-Level Design Validation and Test (HLDVT-2012) November 9-10 Huntington Beach CA United States IEEE 2012.

Zur Publikation

In: Proceedings of the 6th International Conference on Graph Transformation 2012 "Modeling and Analysis of Dynamic Structures". International Conference on Graph Transformation (ICGT-2012) 6th, - Modeling and Analysis of Dynamic Structures - September 24-29 Bremen Germany Lecture Notes in Computer Science (LNCS) 7562 Springer 2012.

Zur Publikation

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