Laboratoire d'Informatique de Grenoble UMR 5217
Grenoble Informatics Laboratory
Grenoble Informatics Laboratory
Frédéric Lang - Preface to the Special issue on Formal Methods for Industrial Critical Systems (FMICS'2014)
23:00
Monday
8
Feb
2016
Highlight description:
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
UMR 5217 - Laboratoire LIG - Bâtiment IMAG - 700 avenue Centrale - Campus of Saint-Martin-d’Hères
Postal address: CS 40700 - 38058 Grenoble cedex 9 - France
Tél. : +33 4 57 42 14 00
