Per Lindgren, Marcus Lindner, David Pereira, Luís Miguel Pinho. Contract based verification of IEC 61499. In 14th IEEE International Conference on Industrial Informatics, INDIN 2016, Poitiers, France, July 19-21, 2016. pages 132-141, IEEE, 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.