Title: Automated Reconfiguration of Cyber-Physical Production Systems using Satisfiability Modulo Theories
Authors: Balzereit, Kaja
Niggemann, Oliver 
Language: eng
Keywords: Universit├Ątsbibliographie;Evaluation 2020
Issue Date: 2020
Document Type: Conference Object
Source: Enthalten in: 2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS). - Piscataway, NJ : IEEE, 2020. - 1 Online-Ressource . - 2020, Seite 461-468
Page Start: 461
Page End: 468
Conference: 2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS) 
Organization Units (connected with the publication): Informatik im Maschinenbau 
DOI: 10.1109/ICPS48405.2020.9274707
Appears in Collections:2020

Show full item record

CORE Recommender

SCOPUSTM   
Citations

5
checked on Aug 12, 2022

Google ScholarTM

Check

Altmetric

Altmetric


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