Formal Methods for Industrial Critical SystemsJan Friso Groote

Formal Methods for Industrial Critical Systems

Jan Friso Groote, Marieke Huisman · 2022

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: 2022
Language: English
Publisher: Springer International Publishing AG
Editions: 1
ISBN: 9783031150074

Data source: Wikidata

More by Jan Friso Groote

Logical Gates, Circuits, Processors, Compilers and ComputersJan Friso Groote

Logical Gates, Circuits, Processors, Compilers and Computers

Jan Friso Groote · 2021

Modeling and Analysis of Communicating SystemsJan Friso Groote

Modeling and Analysis of Communicating Systems

Jan Friso Groote · 2014

Tools and Algorithms for the Construction and Analysis of SystemsJan Friso Groote

Tools and Algorithms for the Construction and Analysis of Systems

Jan Friso Groote · 2021