Treffer 1 - 2 von 2 für Suche 'Lapschies, Florian', Suchdauer: 0,21s Treffer weiter einschränken
  1. 1
    Automated Test Case Generation with SMT-Solving and Abstract Interpretation

    Automated Test Case Generation with SMT-Solving and Abstract Interpretation von Peleska, Jan, Vorobev, Elena, Lapschies, Florian


    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:

Suchwerkzeuge: