Treffer 1 - 4 von 4 für Suche 'Löding, Helge', Suchdauer: 0,62s Treffer weiter einschränken
  1. 1
    Timed Moore Automata: Test Data Generation and Model Checking

    Timed Moore Automata: Test Data Generation and Model Checking von Löding, Helge, Peleska, Jan


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  2. 2
    A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain

    A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain von Peleska, Jan, Honisch, Artur, Lapschies, Florian, Löding, Helge, Schmid, Hermann, Smuda, Peer, Vorobev, Elena, Zahlten, Cornelia


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Symbolic and Abstract Interpretation for C/C++ Programs

    Symbolic and Abstract Interpretation for C/C++ Programs von Löding, Helge, Peleska, Jan


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Model-Based Scenario Testing and Model Checking with Applications in the Railway Domain

    Model-Based Scenario Testing and Model Checking with Applications in the Railway Domain von Löding, Helge

    Volltext bestellen
    Web Resource

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: