Home > Authors > Maurice H. ter Beek > Formal Methods for Industrial Critical Systems

Buy at: Bookshop.org Amazon

Formal Methods for Industrial Critical Systems

Maurice H. ter Beek, Dejan Ničković

Recent activity

Rate this book to see your activity here.

4 Books Similar to Formal Methods for Industrial Critical Systems by Maurice H. ter Beek

Bookscovery readers who liked Formal Methods for Industrial Critical Systems also like Architecting Dependable Systems VI, From Software Engineering to Formal Methods and Tools, and Back and Integrated Formal Methods. How many of these have you read?

Architecting Dependable Systems VI by Rogério de Lemos

Cover of Architecting Dependable Systems VI
Buy this book at:
Bookshop.org Amazon

From Software Engineering to Formal Methods and Tools, and Back by Maurice H. ter Beek

Cover of From Software Engineering to Formal Methods and Tools, and Back
Buy this book at:
Bookshop.org Amazon

Integrated Formal Methods by Maurice H. ter Beek

Cover of Integrated Formal Methods
Buy this book at:
Bookshop.org Amazon

Runtime Verification by Jyotirmoy Deshmukh

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

Comments and reviews of Formal Methods for Industrial Critical Systems

Please sign in to leave a comment