Automatic test of safety specifications for PLC programs in the Oil and Gas Industry∗∗We would like to thank the CAPES organization for providing financial support during this work and Petrobras engineers for providing documents and discussions about the test methodology.
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
2019 ◽
Vol 1
(3)
◽
pp. 92-107
Keyword(s):