Login / Signup
Model-Based Testing of PLC Programs With Appropriate Conformance Relations.
Anaïs Guignard
Jean-Marc Faure
Gregory Faraut
Published in:
IEEE Trans. Ind. Informatics (2018)
Keyphrases
</>
model based testing
test cases
software design
software development
control system
artificial intelligence
decision making
decision trees
case study
security policies
intermediate level