Publikationen

Zeige Ergebnisse 1 bis 10 von 18

In: KI 2008: Advances in Artificial Intelligence. German Conference on Artificial Intelligence (KI-2008) September 23-26 Kaiserslautern Germany Lecture Notes in Artificial Intelligence (LNAI) 5243 ISBN 978-3-540-85844-7 Springer Berlin, Heidelberg 2008.

Zur Publikation

In: Digital Excellence, University Meets Economy. Seiten 83-97 ISBN 978-3-540-72620-3 Springer Berlin Heidelberg 2008.

Zur Publikation

In: Computer Safety, Reliability, and Security, 25th International Conference. IFAC Symposium on Safety of Computer Control Systems (SAFECOMP-06) September 27-29 Gdansk Poland Seiten 42-56 LNCS 4166 ISBN 3-540-45762-3 Springer 2006.

Zur Publikation

In: Concurrent Engineering Approaches for Sustainable Product Development in a Multi-Disciplinary Environment. ISPE International Conference on Concurrent Engineering (CE-2012) September 3-7 Trier Germany Seiten 145-156 1 ISBN 978-1-4471-4425-0 Springer 9/2012.

Zur Publikation

In: International Journal on Software Tools for Technology Transfer 3 1 Seiten 66-77 Springer Berlin, Heidelberg 2000.

Zur Publikation

In: Proceedings Current Trends in Applied Formal Methods. International Workshop on Current Trends in Applied Formal Methods (FM-Trends-98) Boppard Germany Seiten 351-358 Lecture Notes in Computer Science (LNCS) 1641 ISBN 978-3-540-66462-8 Springer-Verlag Berlin, Heidelberg 1999.

Zur Publikation

In: Proceedings Ilmenau International Scientific Colloquium, Special Track: Validation and Verification. Ilmenau International Scientific Colloquium 2000.

Zur Publikation

In: Proceedings 13th International Florida Artificial Intelligence Research Symposium (FLAIRS-2000). International FLAIRS Conference (FLAIRS) Seiten 367-376 AAAI-Press 2000.

Zur Publikation

In: 7. GI/ITG Fachgespräch: Formale Beschreibungstechniken für verteilte Systeme. GI/ITG-Fachgespräch (FBT) GMD-Studien 315 GMD 1997.

Zur Publikation

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