Embedded Intelligence

PUBLICATIONS

In: Paul J. J. Welfens, Ellen Walther-Klaus. Digital Excellence, University Meets Economy. Pages 83-97 ISBN 978-3-540-72620-3 Springer Berlin Heidelberg 2008.

To the publication

In: Andreas Dengel, Karsten Berns, Thomas Breuel, Frank Bomarius, Thomas Roth-Berghofer (editor). 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.

To the publication

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

To the publication

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

To the publication

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

To the publication

In: FLAIRS-2000, Special Track on Verification, Validation and System Certification. International FLAIRS Conference (FLAIRS) 2000.

To the publication

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

To the publication

In: Dieter Hutter, Werner Stephan, P. Traverso, M. Ullmann (editor). Proceedings Current Trends in Applied Formal Methods. International Workshop on Current Trends in Applied Formal Methods (FM-Trends-98) Boppard Germany Pages 351-358 Lecture Notes in Computer Science (LNCS) 1641 ISBN 978-3-540-66462-8 Springer-Verlag Berlin, Heidelberg 1999.

To the publication

In: R. Berghammer, Y. Lakhnech (editor). Tool Support for System Specification, Development and Verification. International Workshop Tool Support for System Specification, Development and Verification Pages 217-229 Advances in Computing Science Springer 1999.

To the publication

Contact

Office:
Jane Bensch, B.A.
Phone: +49 631 20575 4010

German Research Center for
Artificial Intelligence GmbH (DFKI)
Research Department Embedded Intelligence
Trippstadter Str. 122
67663 Kaiserslautern
Germany

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