Embedded Intelligence

PUBLICATIONS

In: William John Cullyer, Wolfgang A. Halang, Bernd J. Krämer (editor). Proceedings of the Dagstuhl Seminar on High Integrity Programmable Electronic Systems. Dagstuhl Seminare/Workshops February 27-March 3 Schloß Dagstuhl Germany 1995.

To the publication

In: A. Ireland (editor). Proceedings AISB-Workshop Automated Reasoning: Bridging the gap between theory and practice. AISB-Workshop Automated Reasoning: Bridging the gap between theory and practice Sheffield Pages 43-44 1995.

To the publication

In: B. Buth, R. Berghammer (editor). Proceedings of the Workshop on Systems for Computer-Aided Specification, Development and Verification. Workshop on Systems for Computer-Aided Specification, Development and Verification July 4-5 Kiel Germany Techical Report 9416 Universität Kiel 1994.

To the publication

In: Tagungsband 3. Deutscher IT-Sicherheitskongress der BSI. Deutscher IT-Sicherheitskongress der BSI 3. SecuMedia Ingelheim 1994.

To the publication

In: Proceedings Online 93. European Congress Fair for Technical Communication (ONLINE-93) Hamburg Germany 1993.

To the publication

In: H. H. Frey (editor). Proceedings of the IFAC Symposium. IFAC Symposium on Safety of Computer Control Systems (SAFECOMP-92) October 28-30 Zürich Switzerland Pages 69-74 IFAC Symposia Series Pergamon Press 1992.

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