Treffer 1 - 20 von 1.955 für Suche 'Volker, Marcus', Suchdauer: 1,13s Treffer weiter einschränken
  1. 1
    Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model

    Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model von Mross, Robin, Schnakenbeck, Aron, Volker, Marcus, Fay, Alexander, Kowalewski, Stefan

    Veröffentlicht in IEEE access

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Transformation von GRAFCET in GAL auf Basis eines ausführlichen Metamodells zur Verifikation von Entwurfsfehlern

    Transformation von GRAFCET in GAL auf Basis eines ausführlichen Metamodells zur Verifikation von Entwurfsfehlern von Schnakenbeck, Aron, Mroß, Robin, Völker, Marcus, Kowalewski, Stefan, Fay, Alexander

    Veröffentlicht in Automatisierungstechnik : AT

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Test Suite Augmentation for Reconfigurable PLC Software in the Internet of Production

    Test Suite Augmentation for Reconfigurable PLC Software in the Internet of Production von Grochowski, Marco, Völker, Marcus, Kowalewski, Stefan


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Verification of Behavior Trees using Linear Constrained Horn Clauses

    Verification of Behavior Trees using Linear Constrained Horn Clauses von Henn, Thomas, Völker, Marcus, Kowalewski, Stefan, Trinh, Minh, Petrovic, Oliver, Brecher, Christian


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Untersuchung der Expression von Proteinen des Staupevirus durch das Modifizierte Vacciniavirus Ankara im Hinblick auf die Erstellung von Vakzinekandidaten

    Untersuchung der Expression von Proteinen des Staupevirus durch das Modifizierte Vacciniavirus Ankara im Hinblick auf die Erstellung von Vakzinekandidaten von Müller, Marcus Volker

    Volltext bestellen
    Dissertation

    Zu den Favoriten
    Gespeichert in:
  6. 6
    A Change-Based Heuristic for Static Analysis with Policy Iteration

    A Change-Based Heuristic for Static Analysis with Policy Iteration von Völker, Marcus, Kowalewski, Stefan


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Structural Analysis of GRAFCET Control Specifications

    Structural Analysis of GRAFCET Control Specifications von Schnakenbeck, Aron, Mroß, Robin, Völker, Marcus, Kowalewski, Stefan, Fay, Alexander

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Papinian, D. 21. 2. 64 pr.-3

    Papinian, D. 21. 2. 64 pr.-3 von Hackel, Volker Marcus


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation

    A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation von Schnakenbeck, Aron, Mroß, Robin, Völker, Marcus, Kowalewski, Stefan, Fay, Alexander

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review

    Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review von Mroß, Robin, Schnakenbeck, Aron, Völker, Marcus, Fay, Alexander, Kowalewski, Stefan

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Verification of Cooperative Vehicle Behavior using Temporal Logic

    Verification of Cooperative Vehicle Behavior using Temporal Logic von Völker, Marcus, Kloock, Maximilian, Rabanus, Leon, Alrifaee, Bassam, Kowalewski, Stefan


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Model Checking of PLC Code Specifications: Impact of GRAFCET Features to State Space Size

    Model Checking of PLC Code Specifications: Impact of GRAFCET Features to State Space Size

    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review

    Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review von Mroß, Robin, Schnakenbeck, Aron, Völker, Marcus, Fay, Alexander, Kowalewski, Stefan

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Untersuchung der Expression von Proteinen des Staupevirus durch das Modifizierte Vacciniavirus Ankara im Hinblick auf die Erstellung von Vakzinekandidaten

    Untersuchung der Expression von Proteinen des Staupevirus durch das Modifizierte Vacciniavirus Ankara im Hinblick auf die Erstellung von Vakzinekandidaten von Müller, Marcus Volker

    Volltext bestellen
    Web Resource

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Nonequilibrium Processes in Polymer Membrane Formation: Theory and Experiment

    Nonequilibrium Processes in Polymer Membrane Formation: Theory and Experiment von Müller, Marcus, Abetz, Volker

    Veröffentlicht in Chemical reviews

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Kants Friedensschrift und das Völkerrecht

    Kants Friedensschrift und das Völkerrecht von Hackel, Volker Marcus, Denninger, Erhard


    Volltext
    Review

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Liquid crystalline medium and liquid crystal display

    Liquid crystalline medium and liquid crystal display von CZANTA MARKUS,HIRSCHMANN HARALD,KIRSCH PEER,REIFFENRATH VOLKER,REUTER MARCUS,HOCK CHRISTIAN,OGIRI SAYURI,NAKAJIMA SHINJI

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Beispielmodellierung eines Güterverkehrszentrums im Proc-B-Paradigma

    Beispielmodellierung eines Güterverkehrszentrums im Proc-B-Paradigma von Dilling, Christian

    Volltext bestellen
    Web Resource

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Entwicklung von Simulationsmodellen für die Analyse von Supply-Chain-Strategien und -Strukturen im ProC-B-Paradigma

    Entwicklung von Simulationsmodellen für die Analyse von Supply-Chain-Strategien und -Strukturen im ProC-B-Paradigma von Kaczmarek, Michael

    Volltext bestellen
    Web Resource

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Permian–Triassic mass extinction pulses driven by major marine carbon cycle perturbations

    Permian–Triassic mass extinction pulses driven by major marine carbon cycle perturbations von Jurikova, Hana, Gutjahr, Marcus, Wallmann, Klaus, Flögel, Sascha, Liebetrau, Volker, Posenato, Renato, Angiolini, Lucia, Garbelli, Claudio, Brand, Uwe, Wiedenbeck, Michael, Eisenhauer, Anton

    Veröffentlicht in Nature geoscience

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: