Publikationen

Zeige Ergebnisse 1 bis 10 von 54

In: Forum on Specification & Design Languages FDL 2016. Forum on Specification & Design Languages (FDL-2016) September 14-16 Bremen Germany ECSI - European Electronic Chips and Systems design Initiative 2016.

Zur Publikation

In: 2016 Workshop on Computer-Aided Design and Implementation for Cryptography and Security. Workshop on Computer-Aided Design and Implementation for Cryptography and Security (CADICS) 35th ICCAD November 10-10 Austin TX United States 2016.

Zur Publikation

In: 6th IEEE International Symposium on Embedded Computing & System Design (ISED). International Symposium on Electronic System Design (ISED-06) December 15-17 Patna India 2016.

Zur Publikation

In: Formal Methods in Computer-Aided Design. Formal Methods in Computer-Aided Design (FMCAD-2016) October 3-6 Mountain View United States 2016.

Zur Publikation

In: International Conference on Computer Aided Verification (CAV). International Conference on Computer Aided Verification (CAV-28) July 17-23 Toronto Canada 2016.

Zur Publikation

In: Industrie 4.0 Management 4 2/2016 Seiten 37-40 Gito mbH Verlag für Industrielle Informationstechnik und Organisation 3/2016.

Zur Publikation

In: International Symposium on Electronic System Design. International Symposium on Electronic System Design (ISED-16) 6th December 15-17 Patna India IEEE 2016.

Zur Publikation

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