Treffer 1 - 20 von 96 für Suche 'Leue, Stefan', Suchdauer: 0,36s Treffer weiter einschränken
  1. 1
    Scenarios: models, transformations and tools : international workshop Dagstuhl Castle, Germany, September 7 - 12, 2003 ; revised selected papers
    Veröffentlicht 2005
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    von Leue, Stefan Friedrich
    Veröffentlicht 1813
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    von Leue, Stefan Friedrich
    Veröffentlicht 1813
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    von Leue, Stefan Friedrich
    Veröffentlicht 1813
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    von Leue, Stefan F.
    Veröffentlicht 1813
    Volltext // Exemplar mit der Signatur: München, Bayerische Staatsbibliothek -- 4 Diss. 5093#Beibd.21
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    An Algorithm to Compute a Strict Partial Ordering of Actions in Action Traces
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Dynamic Causes for the Violation of Timed Reachability Properties
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  9. 9
    TARTAR: A Timed Automata Repair Tool
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1 - 2, 2007 ; revised selected papers
    Veröffentlicht 2008
    Inhaltsverzeichnis
    Verlagsangaben
    Cover
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Automated Consistency Analysis for Legal Contracts
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  12. 12
    SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Scenarios: models, transformations and tools : international workshop, Dagstuhl Castle, Germany, September 7 - 12, 2003 ; revised selected papers
    Veröffentlicht 2005
    Inhaltsverzeichnis
    Verlagsangaben
    Cover
    Volltext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Katalogkarte der UB Frankfurt
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  15. 15
    von Ley, Stephan
    Veröffentlicht 1948
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  16. 16
    von Ley, Stephan
    Veröffentlicht 1948
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Veröffentlicht 1970
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  18. 18
    von Ley, Stephan
    Veröffentlicht 1947
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  19. 19
    von Ley, Stephan
    Veröffentlicht 1948
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  20. 20
    von Ley, Stephan
    Veröffentlicht in NZ (1965)
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: