Embedded Intelligence

PUBLICATIONS

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: International Journal on Software Tools for Technology Transfer 3 1 Pages 66-77 Springer Berlin, Heidelberg 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

In: Katharina Spies, Bernhard Schätz (editor). Formale Beschreibungstechniken für verteilte Systeme. GI/ITG-Fachgespräch (FBT-99) München Germany Pages 185-192 Herbert Utz Verlag 1999.

To the publication

In: Francesca Saglietti, Wolfgang Goerigk (editor). Proceedings Workshop Sicherheit und Zuverlässigkeit software-basierter Systeme. Joint German ENCRESS / ISA-EUNET Event (ENCRESS-99) 3rd May 3-5 Bad Honnef Germany Pages 138-152 Bericht ISTec-A-367 ISBN 3-00-004872-3 ISTec 1999.

To the publication

In: Hartmut König, Peter Langendörfer (editor). Formale Beschreibungstechniken für verteilte Systeme. GI/ITG-Fachgespräch (FBT-98) 8. June 4-5 Cottbus Germany Pages 125-135 Shaker Verlag Aachen 1998.

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