Home > Authors > Werner Damm > Formal Techniques in Real-Time and Fault-Tolerant Systems

Buy at: Bookshop.org Amazon

Formal Techniques in Real-Time and Fault-Tolerant Systems

Werner Damm, Ernst-Rüdiger Olderog

Recent activity

Rate this book to see your activity here.

6 Books Similar to Formal Techniques in Real-Time and Fault-Tolerant Systems by Werner Damm

Bookscovery readers who liked Formal Techniques in Real-Time and Fault-Tolerant Systems also like Computer Aided Verification, Die IO- und OI-Hierarchien als Interpretation von Schemata mit Rekursion auf höheren Typen and Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen. How many of these have you read?

Computer Aided Verification by Werner Damm

Cover of Computer Aided Verification
Buy this book at:
Bookshop.org Amazon

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

Cover of Die IO- und OI-Hierarchien als Interpretation von Schemata mit Rekursion auf höheren Typen
Buy this book at:
Bookshop.org Amazon

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen by Werner Damm

Cover of Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Buy this book at:
Bookshop.org Amazon

Integration of Software Specification Techniques for Applications in Engineering by Hartmut Ehrig

Cover of Integration of Software Specification Techniques for Applications in Engineering
Buy this book at:
Bookshop.org Amazon

Practical formal methods for hardware design by Carlos Delgado Kloos

Cover of Practical formal methods for hardware design
Buy this book at:
Bookshop.org Amazon

Wo aber bleibt die Seele? by Werner Damm

Cover of Wo aber bleibt die Seele?
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Formal Techniques in Real-Time and Fault-Tolerant Systems

Please sign in to leave a comment