Formal methods for industrial critical systems : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, proceedings /

Corporate Authors: FMICS Conference Maynooth, Ireland
Group Author: Howar, Falk; Barnat, Jiří
Published: Springer,
Publication Dates: [2018]
Call Number: TP31-532/I618-2/2018