Contract based verification of IEC 61499

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.