ISBN: 9783031150098
TITLE: Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings
AUTHOR: Groote Jan Friso Groote
PUBLISHER: Springer Nature B.V.
PUBLISHER DATE: 12 Aug 2022
Popular Trending Products
ISBN: 9783031150074TITLE: Formal Methods for Industrial Critical Systems : 27th International Confer…
ISBN: 9783031158407TITLE: Formal Modeling and Analysis of Timed Systems : 20th International Confere…
ISBN: 9783031158384TITLE: Formal Modeling and Analysis of Timed Systems : 20th International Confere…
ISBN: 9783030720148TITLE: Tools and Algorithms for the Construction and Analysis of Systems : 27th I…
ISBN: 9780262547871TITLE: Modeling and Analysis of Communicating SystemsAUTHOR: Jan Friso GrootePUBL…
