| 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
User Tools
Items in openHSU are protected by copyright, with all rights reserved, unless otherwise indicated.