Modeling and testing multi-threaded asynchronous systems with Creol

Bernhard Aichernig, Andreas Griesmayer, Rudolf Schlatte, Andries Stam

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

Filter
Laufend

Suchergebnisse

  • Arbeitsgebiet

    Formale Methoden

    Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.

    1/01/95 → …

    Projekt: Arbeitsgebiet