Formal verification of function blocks applied to IEC 61131-3
Journal Articles
- Overview
- Research
- Identity
- Additional Document Info
- View All
Overview
status
publication date
- December 2015
has subject area
- 0803 Computer Software (FoR)
- Software Engineering (Science Metrix)
published in
- Science of Computer Programming Journal