W
Werner Damm
7 works on record
Works

Practical formal methods for hardware design

Wo aber bleibt die Seele?

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Formal Techniques in Real-Time and Fault-Tolerant Systems
Formal Techniques in Real-Time and Fault-Tolerant Systems
Integration of Software Specification Techniques for Applications in Engineering
Integration of Software Specification Techniques for Applications in Engineering
Computer Aided Verification
Computer Aided Verification
Die IO- und OI-Hierarchien als Interpretation von Schemata mit Rekursion auf höheren Typen
Die IO- und OI-Hierarchien als Interpretation von Schemata mit Rekursion auf höheren Typen