Best Paper Award für den Beitrag: Temporal Decoupling with Error-Bounded Predictive Quantum Control
Auszeichnung mit dem Best Paper Award auf dem Forum on specification & Design Languages, FDL, Barcelona, Spanien, 2015
Datum:
Auszeichnung:
Best Paper Award für den Beitrag: Temporal Decoupling with Error-Bounded Predictive Quantum Control
Autoren und Autorinnen:
Georg Gläser1.
Gregor Nitsche2.
Eckhard Hennig3.
Veranstaltung:
Forum on specification & Design Languages, FDL, Barcelona, Spain
1IMMS Institut für Mikroelekronik- und Mechatronik-Systeme gemeinnützige GmbH, Ehrenbergstraße 27, 98693 Ilmenau, Germany.
2OFFIS - Institut für Informatik Oldenburg, Germany.
3Hochschule Reutlingen, D-72762 Reutlingen, Germany.
Zugehörige Inhalte
Projekt
ANCONA
Die erarbeiteten rechnergestützten Verifikationsmethoden beschleunigen die Entwicklung von Industrie-4.0-Anwendungen.
Temporal Decoupling with Error-Bounded Predictive Quantum Control
Georg Gläser1. Gregor Nitsche2. Eckhard Hennig3.Specification and Design Languages (FDL), 2015 Forum on, 14-16 Sept. 2015, Barcelona, Spain, (Best-Paper-Award), DOI: dx.doi.org/10.1109/FDL.2015.7306358, Print ISBN - IEEE Xplore 978-1-4673-7735-5
1IMMS Institut für Mikroelektronik- und Mechatronik-Systeme gemeinnützige GmbH, D-98693 Ilmenau, Germany. 2OFFIS - Institut für Informatik Oldenburg, Germany. 3Hochschule Reutlingen, D-72762 Reutlingen, Germany.
Alle Publikationen
Pressemitteilung,
IMMS erhält Best-Paper-Award für Arbeit zu rechnergestützter Verifikationsmethode
Neues Vorgehen beschleunigt die Entwicklung von Industrie-4.0-Anwendungen
Kontakt
Keine Nachrichten verfügbar.