Cover Image
Read Now

1
Published 2013
Springer Berlin Heidelberg
“... Workshop on Formal Methods for Industrial Critical Systems, FMICS 2013, held in Madrid, Spain, in September...”