Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
18
0

Year Published

2006
2006
2021
2021

Publication Types

Select...
7
2
1

Relationship

1
9

Authors

Journals

citations
Cited by 34 publications
(18 citation statements)
references
References 13 publications
0
18
0
Order By: Relevance
“…There are other approaches (Hanisch, Lobov, Lastra, Tuokko, & Vyatkin, 2006;Machado et al, 2006a) where a plant model is used on modular and systematic way. This facilitates the construction of the plant model and the reusing of the created modules for future similar modelling task with the same or close components existing in the library of the plant models modules.…”
Section: Formal Verificationmentioning
confidence: 99%
“…There are other approaches (Hanisch, Lobov, Lastra, Tuokko, & Vyatkin, 2006;Machado et al, 2006a) where a plant model is used on modular and systematic way. This facilitates the construction of the plant model and the reusing of the created modules for future similar modelling task with the same or close components existing in the library of the plant models modules.…”
Section: Formal Verificationmentioning
confidence: 99%
“…Validity and fidelity, however, are not commonly used within the existing discussion of validation [10,11]. In [4] the introduction mentions validity but only in passing.…”
Section: Fidelity and Validitymentioning
confidence: 99%
“…As described by many authors, for example Hanisch et al [9], the formal verification applies to the system defined by three elements: the process, the control application, and their interactions. The verification proves or falsfies if the system's behavior complies with specifications of desired or prohibited behavior.…”
Section: Specification Of the Verification Environmentmentioning
confidence: 99%