Ce site utilise des cookies pour nous aider à vous donner la meilleure expérience lorsque vous visitez notre site Web. En continuant à utiliser ce site, vous consentez à notre utilisation de ces cookies.
Preface to the Special issue on Formal Methods for Industrial Critical Systems (FMICS'2014)Frédéric Lang and Francesco Flammini Science of Computer Programming 118(1-2), 2016