Eingebettete Intelligenz

PUBLIKATIONEN

In: Reversible Computation 2011, Series: Lecture Notes in Computer Science (LNCS) Reversible Computation. Workshop on Reversible Computation (RC-2011) 3rd July 4-5 Gent Belgium Seiten 64-76 Lecture Notes in Computer Science (LNCS) 7165 Springer 2012.

Zur Publikation

In: International Symposium on Electronic System Design. International Symposium on Electronic System Design (ISED-2012) December 19-22 Kolkata India 2012.

Zur Publikation

In: International Symposium on Electronic System Design. International Symposium on Electronic System Design (ISED-2012) December 19-22 Kolkata India 2012.

Zur Publikation

In: International Conference on Hardware/Software Codesign and System Synthesis. International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS-2012) October 7-12 Tampere Finland ACM 2012.

Zur Publikation

In: Formal Methods in Computer-Aided Design 2012. Formal Methods in Computer-Aided Design (FMCAD-2012) October 22-25 Cambridge England United Kingdom 2012.

Zur Publikation

In: G. Rozenberg, H.-J. Kreowski, G. Engels, H. Ehrig (Hrsg.). 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

In: Proceedings of the International Symposium on System-on-Chip 2012. International Symposium on System-on-Chip (SoC-2012) October 11-12 Tampere Finland IEEE 2012.

Zur Publikation

In: Proceedings of the Forum on Specification & Design Languages 2012. Forum on Specification & Design Languages (FDL-2012) September 18-20 Vienna Austria IEEE 2012.

Zur Publikation

In: Proceedings of the Forum on Specification & Design Languages 2012. Forum on Specification & Design Languages (FDL-2012) September 18-20 Vienna Austria IEEE 2012.

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

Kontakt

Sekretariat:
Jane Bensch, B.A.
Tel.: +49 631 20575 4010

Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Forschungsbereich Eingebettete Intelligenz
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland

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