Werner Damm

· 7 obras en el catálogo

Obras

Practical formal methods for hardware design

Wo aber bleibt die Seele?

IIntegration of Software Specification Techniques for Applica

Integration of Software Specification Techniques for Applications in Engineering

FFormal Techniques in Real-Time and Fault-Tolerant Systems

Formal Techniques in Real-Time and Fault-Tolerant Systems

CComputer Aided Verification

Computer Aided Verification

DDie IO- und OI-Hierarchien als Interpretation von Schemata m

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

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen