( en | de | ru )

 

Disambiguation of "Völker, Marcus"

Author of the publication

copydeleteadd this publication to your clipboard
Verification of Behavior Trees using Linear Constrained Horn Clauses.

, , , , , and . FMICS, volume 13487 of Lecture Notes in Computer Science, page 211-225. 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 Grobe

Ein Ansatz zur Stabilitätsuntersuchung von Systemen mit nicht konstanter Abtastung. TU Braunschweig, (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)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)Policy iteration for value set analysis of PLC programs.. RWTH Aachen University, Germany, (2023)Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review., , , , and . ETFA, page 1-8. IEEE, (2023)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)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)Automatic Test Suite Generation for PLC Software in the Internet of Production., , and . ETFA, page 1-8. IEEE, (2022)GRAFCET Reduction Techniques for Model Checking., , , , and . INDIN, page 1-6. IEEE, (2023)Structural Analysis of GRAFCET Control Specifications., , , , and . ETFA, page 1-8. IEEE, (2023)