Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/etfa/FarinesQRCVC11
%A Farines, Jean-Marie
%A de Queiroz, Max Hering
%A da Rocha, Vinicius G.
%A Carpes, Ana Maria M.
%A Vernadat, François
%A Crégut, Xavier
%B ETFA
%D 2011
%E Mammeri, Zoubir
%I IEEE
%K dblp
%P 1-8
%T A model-driven engineering approach to formal verification of PLC programs.
%U http://dblp.uni-trier.de/db/conf/etfa/etfa2011.html#FarinesQRCVC11
%@ 978-1-4577-0018-7
@inproceedings{conf/etfa/FarinesQRCVC11,
added-at = {2021-03-17T00:00:00.000+0100},
author = {Farines, Jean-Marie and de Queiroz, Max Hering and da Rocha, Vinicius G. and Carpes, Ana Maria M. and Vernadat, François and Crégut, Xavier},
biburl = {https://www.bibsonomy.org/bibtex/2056cb8df16dc7941fad06f7c8a0a44c5/dblp},
booktitle = {ETFA},
crossref = {conf/etfa/2011},
editor = {Mammeri, Zoubir},
ee = {https://doi.org/10.1109/ETFA.2011.6058983},
interhash = {de5426362a5cf85878e4469199a8798a},
intrahash = {056cb8df16dc7941fad06f7c8a0a44c5},
isbn = {978-1-4577-0018-7},
keywords = {dblp},
pages = {1-8},
publisher = {IEEE},
timestamp = {2024-04-10T12:03:08.000+0200},
title = {A model-driven engineering approach to formal verification of PLC programs.},
url = {http://dblp.uni-trier.de/db/conf/etfa/etfa2011.html#FarinesQRCVC11},
year = 2011
}