Treffer 1 - 6 von 6 für Suche 'Ingólfsdóttir, Anna', Suchdauer: 0,22s Treffer weiter einschränken
  1. 1
    Introducing Formal Methods to First-Year Students in Three Intensive Weeks
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    On Bidirectional Runtime Enforcement
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    On Benchmarking for Concurrent Runtime Verification
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    von Steffen, Bernhard
    Veröffentlicht 1991
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Foundations of software science and computation structures : 9th international conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - 31, 2006 ; proceedings
    Veröffentlicht 2006
    Inhaltsverzeichnis
    Inhaltstext
    Cover
    Inhaltstext
    Volltext
    Publisher description
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Better Late Than Never or: Verifying Asynchronous Components at Runtime
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: