Formal modeling and verification in the software engineering framework of IEC 61499: a way to self-verifying systems
Authors:
- V. VyatkinVVV. Vyatkin
- H.-M. HanischHHH.-M. Hanisch
- 14 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 2, 113-118
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- A modeling approach for verification of IEC1499 function blocks using net condition/event systems2003
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986