Treffer 1 – 2 von 2 für Suche 'Cau, Antonio', Suchdauer: 0,04s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Compositional verification and specification of refinement for reactive systems in a dense time temporal logic

    Compositional verification and specification of refinement for reactive systems in a dense time temporal logic von Cau, Antonio

    Veröffentlicht 1996
    Inhaltsverzeichnis
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Specifying fault tolerance within Stark's formalism

    Specifying fault tolerance within Stark's formalism von Cau, Antonio, Roever, Willem-Paul de 1943-

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: