Uni-Logo
English       Login
Professur für Betriebssysteme
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Veranstaltung
Übersicht  |  Zeit/Ort  |  Veranstalter  |  Literatur
Materialien
Vorlesungsmaterial  |  Videomitschnitte
Leistungsnachweis
Prüfungskriterien
Foren
Forum


Verifikation eingebetteter Systeme - Wintersemester 08/09

Literatur



  1. Kropf, Thomas, "Introduction to Formal Hardware Verification" , Springer, 1999, ISBN 3-540-65445-3

  2. E. Clarke, O. Grumberg, D. Peled, "Model Checkingā€¯, MIT Press 1999

  3. Molitor, Paul und Scholl, Christoph, "Datenstrukturen und effiziente Algorithmen fĆ¼r die Logiksynthese kombinatorischer Schaltungen", Teubner, 1999, ISBN 3-519-02945-6

  4. Kropf, Thomas(Ed.), "Formal Hardware Verification", Springer, 1997, ISBN 3-540-63475-4

  5. Originalarbeiten