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

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