Formal Methods for Industrial Critical SystemsMaurice H. ter Beek

Formal Methods for Industrial Critical Systems

Maurice H. ter Beek, Dejan Ničković · 2020

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2020
Language: English
Publisher: Springer International Publishing AG
Editions: 1
ISBN: 9783030582975

Data source: Wikidata

More by Maurice H. ter Beek

Integrated Formal MethodsMaurice H. ter Beek

Integrated Formal Methods

Maurice H. ter Beek · 2022

Formal Methods – The Next 30 YearsMaurice H. ter Beek

Formal Methods – The Next 30 Years

Maurice H. ter Beek · 2019

From Software Engineering to Formal Methods and Tools, and BackMaurice H. ter Beek

From Software Engineering to Formal Methods and Tools, and Back

Maurice H. ter Beek · 2019

Proceedings of the Eleventh International Workshop on Variability Modelling of Software-Intensive SystemsMaurice H. ter Beek

Proceedings of the Eleventh International Workshop on Variability Modelling of Software-Intensive Systems

Maurice H. ter Beek · 2017

Web Services and Formal MethodsMaurice H. ter Beek

Web Services and Formal Methods

Maurice H. ter Beek · 2013