3030270076
Formal Methods for Industrial Critical Systems eBooks & eLearning
Posted by AvaxGenius at Aug. 23, 2019
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings by Kim Guldstrand Larsen
English | PDF | 2019 | 174 Pages | ISBN : 3030270076 | 10.09 MB
This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019.