The website was made within the framework of the Metis | Contact
Galvão Joel
,
Machado José

Simulation and Formal Verification for Improving Safety of PLC Programs

Doi number:10.17667/riim.2016.1-2/9.

Metisz url:
http://riim.lib.unideb.hu//cikk/cikk/57da6bb6e1e26
Pdf url:
http://riim.lib.unideb.hu//file/5/57da6bb6e1e26/szerzo/JMachado_Simulation_and_Formal_Verification_for_Improving_Safety_of_PLC_Programs.pdf
Doi number
http://riim.lib.unideb.hu/10.17667/riim.2016.1-2/9.