Treffer 1 - 3 von 3 für Suche 'Firley, Thomas', Suchdauer: 0,36s Treffer weiter einschränken
  1. 1
    Property Dependent Abstraction of Control Structure for Software Verification

    Property Dependent Abstraction of Control Structure for Software Verification von Firley, Thomas, Goltz, Ursula


    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
    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: