Title: Automated Reconfiguration of Cyber-Physical Production Systems using Satisability Modulo Theories
Authors: Balzereit, Kaja
Niggemann, Oliver 
Language: eng
Keywords: Universit├Ątsbibliographie;Evaluation 2019
Issue Date: 2019
Document Type: Conference Object
Source: Enthalten in: 30th International workshop on principles of diagnosis DX'19. - Klagenfurt, Austria, 2019. - 1 Online-Ressource. - 2019, insges. 8 S.
Pages: insges. 8 S.
Publisher Place: Klagenfurt, Austria
Organization Units (connected with the publication): Informatik im Maschinenbau 
URL: https://dx-workshop.org/2019/wp-content/uploads/2019/papers/DX_2019_paper_32.pdf
Appears in Collections:2019

Show full item record

CORE Recommender

Google ScholarTM

Check


Items in openHSU are protected by copyright, with all rights reserved, unless otherwise indicated.