Formal Methods for Industrial Critical Systems

The aim of the FMICS workshop series is to provide a forum for researchers who are interested in ...