Login / Signup

Model-Based Testing of PLC Programs With Appropriate Conformance Relations.

Anaïs GuignardJean-Marc FaureGregory 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