Publications de
J.-M. Farines, Max H. De Queiroz, Vinicius De Rocha, Ana Maria Carpes, François Vernadat, Xavier Crégut
A model-driven engineering approach to formal verification of PLC programs (regular paper)
Dans : Emerging Technologies and Factory Automation (ETFA 2011), Toulouse, France, 05/09/11-09/09/11, IEEE : Institute of Electrical and Electronics Engineers, p. 1-8, septembre 2011.