Product Description
ISBN: 9783030002435
TITLE: Formal Methods for Industrial Critical Systems : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings : 11119
AUTHOR: Falk Howar
PUBLISHER: Springer Nature Switzerland AG
PUBLISHER DATE: 30 Aug 2018