Treffer 1 - 4 von 4 für Suche 'Diethers, Karsten', Suchdauer: 0,51s Treffer weiter einschränken
  1. 1
    Vooduu: Verification of Object-Oriented Designs Using UPPAAL

    Vooduu: Verification of Object-Oriented Designs Using UPPAAL von Diethers, Karsten, Huhn, Michaela


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Timed Sequence Diagrams and Tool-Based Analysis — A Case Study

    Timed Sequence Diagrams and Tool-Based Analysis — A Case Study von Firley, Thomas, Huhn, Michaela, Diethers, Karsten, Gehrke, Thomas, Goltz, Ursula


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Werkzeuggestützte formale Analyse von Echtzeitsystemen

    Werkzeuggestützte formale Analyse von Echtzeitsystemen

    Volltext bestellen
    Web Resource

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Timed sequence diagrams and tool-based analysis: a case study

    Timed sequence diagrams and tool-based analysis: a case study von Firley, Thomas, Huhn, Michaela, Diethers, Karsten, Gehrke, Thomas, Goltz, Ursula


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: