Formal verification of function blocks applied to IEC 61131-3
Pang, Linna, Wang, Chen-Wei, Lawford, Mark, Wassyng, AlanVolume:
113
Language:
english
Journal:
Science of Computer Programming
DOI:
10.1016/j.scico.2015.10.005
Date:
December, 2015
File:
PDF, 1.15 MB
english, 2015