( en | de | ru )

 

Disambiguation of "Völker, Marcus"

Author of the publication

copydeleteadd this publication to your clipboard
Test Suite Augmentation for Reconfigurable PLC Software in the Internet of Production.

, , and . FMICS, volume 13487 of Lecture Notes in Computer Science, page 137-154. Springer, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Volker Marcus Hackel

Marcus Simon

Erstellung und Validierung eines Fragebogens für die Patientenbeurteilung der perioperativen Phase, PPP-Fragebogen. Uni Marburg, (2009)

Marcus Wenzelides

Entwicklung einer Methode zur Erfassung des Potenzials und des Verbrauchs von Dendromasse am Beispiel des Bundeslandes Nordrhein-Westfalen. Uni Münster, (2009)

Marcus Kreutz

Soziale Dienstleistungen durch gemeinnützige Einrichtungen der freien Wohlfahrtspflege als Förderung der Kultur und Erhaltung des kulturellen Erbes nach dem Vertrag zur Gründung der Europäischen Gemeinschaft. Uni Bochum, (2009)

Marcus Kluck

Ersatzbrennstoffe aus gewerblichen Abfällen: Entwicklung eines Entscheidungsmodells für die kleine bis mittelständische Entsorgungswirtschaft. TU Berlin, (2009)
 

Other publications of authors with the same name

Transformation von GRAFCET in GAL auf Basis eines ausführlichen Metamodells zur Verifikation von Entwurfsfehlern., , , , and . Autom., 71 (1): 56-68 (2023)Policy iteration for value set analysis of PLC programs.. RWTH Aachen University, Germany, (2023)Beispielmodellierung eines Güterverkehrszentrums im ProC/B-Paradigma, and . Technical Report / Sonderforschungsbereich 559 Modellierung großer Netze in der Logistik, Universität Dortmund SFB 559, Dortmund, (2003)Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review., , , , and . ETFA, page 1-8. IEEE, (2023)Automatic Test Suite Generation for PLC Software in the Internet of Production., , and . ETFA, page 1-8. IEEE, (2022)Test Suite Augmentation for Reconfigurable PLC Software in the Internet of Production., , and . FMICS, volume 13487 of Lecture Notes in Computer Science, page 137-154. Springer, (2022)Verification of Behavior Trees using Linear Constrained Horn Clauses., , , , , and . FMICS, volume 13487 of Lecture Notes in Computer Science, page 211-225. Springer, (2022)Entwicklung von Simulationsmodellen für die Analyse von Supply Chain-Strategien und -Strukturen im ProC/B-Paradigma, and . Technical Report / Sonderforschungsbereich 559 Modellierung großer Netze in der Logistik, Universität Dortmund SFB 559, Dortmund, (2003)GRAFCET Reduction Techniques for Model Checking., , , , and . INDIN, page 1-6. IEEE, (2023)Erweiterung des ProC/B-Paradigmas zur Abbildung entscheidungsrelevanter Kosten und zur Kostenverrechnung, , and . Technical Report / Sonderforschungsbereich 559 Modellierung großer Netze in der Logistik, Universität Dortmund SFB 559, Dortmund, (2003)