Title: Automated Reconfiguration of Cyber-Physical Production Systems using Satisability Modulo Theories
Authors: Balzereit, Kaja
Niggemann, Oliver 
Language: en
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://ub.hsu-hh.de/DB=1.8/XMLPRS=N/PPN?PPN=1681708736
Appears in Collections:2019

Show full item record

CORE Recommender

Google ScholarTM


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