John A. McDermid, R. H. Pierce. Accessible Formal Method Support for PLC Software Development. In Gerhard Rabe, editor, 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995. pages 113-127, Springer, 1995. [doi]
No references recorded for this publication.
No citations of this publication recorded.