Werner Damm

Computer Aided Verification

Computer Aided Verification

Year unknown Werner Damm and Holger Hermanns

Die IO- und OI-Hierarchien als In...

Die IO- und OI-Hierarchien als Interpretation von Schemata mit Rekursion auf höheren Typen

Year unknown

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen

Year unknown

Formal Techniques in Real-Time an...

Formal Techniques in Real-Time and Fault-Tolerant Systems

Year unknown Werner Damm and Ernst-Rüdiger Olderog

Integration of Software Specifica...

Integration of Software Specification Techniques for Applications in Engineering

Year unknown Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, and Wolfgang Reif

Practical formal methods for hardware design

Year unknown Carlos Delgado Kloos and Werner Damm

Wo aber bleibt die Seele?

Year unknown