Werner Damm
Werner Damm
3 books in the database
Books
Computer Aided VerificationWerner Damm
Computer Aided Verification
Werner Damm · 2007
Formal Techniques in Real-Time and Fault-Tolerant SystemsWerner Damm
Formal Techniques in Real-Time and Fault-Tolerant Systems
Werner Damm · 2003
Entwurf und Verifikation mikroprogrammierter RechnerarchitekturenWerner Damm
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Werner Damm · 1987
Co-authored books and collections
Books that list Werner Damm among their authors but not as the lead author: co-written works, collections and compilations.