h1

h2

h3

h4

h5
h6
http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Towards Transformation of Formal Descriptions into SMT Models for Modular Plant Configurations

; ;

In
IECON 2025 - 51st Annual Conference of the IEEE Industrial Electronics Society : 14-17 Oct. 2025, Seiten/Artikel-Nr: 6 Seiten

Konferenz/Event:51. Annual Conference of the IEEE Industrial Electronics Society , Madrid , Spain , IECON 2025 , 2025-10-14 - 2025-10-17

Impressum[Piscataway, NJ] : IEEE

Umfang6 Seiten

ISBN979-8-3315-9681-1, 979-8-3315-9682-8

Online
DOI: 10.1109/IECON58223.2025.11221851


Einrichtungen

  1. Lehrstuhl für Informations- und Automatisierungssysteme für die Prozess- und Werkstofftechnik (526610)
  2. Fachgruppe für Materialwissenschaft und Werkstofftechnik (520000)



Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online, print

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-105024663111

Interne Identnummern
RWTH-2026-00335
Datensatz-ID: 1024782

Beteiligte Länder
Germany

 GO

QR Code for this record

The record appears in these collections:
Document types > Events > Contributions to a conference proceedings
Document types > Books > Contributions to a book
Faculty of Georesources and Materials Engineering (Fac.5) > Division of Materials Science and Engineering
Public records
Publications database
520000
526610
 Record created 2026-01-08, last modified 2026-01-09
Similar records



Rate this document:

Rate this document:
1
2
3
4
5
 
(Not yet reviewed)