Component Design and Formal Validation of SFA Systems: A Case Study
Valeriy V. Vyatkin, Hans‐Michael Hanisch · 2002
In this paper we present a case study of component based automation system design using 1EC61499 accompanied by subsequent application of the formal modeling methods and the corresponding verification tools. These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.