Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings

Full text!
Format:
e-book
Title:
Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings
Author:
Groote, Jan Friso.; Huisman, Marieke
Language:
English
Publisher:
Cham Springer International Publishing AG 2022
ISBN:
3-031-15007-4
3-031-15008-2
Permalink:
http://bibtest.howest.be/catalog/ebk03:24779142000041?locale=en