Login / Signup

OACV: OCL-based Avionics Component Verification.

Pei HongChunling ShengXiaohu LuoYueyuan JinRuonan Rao
Published in: HP3C (2020)
Keyphrases
  • concurrent systems
  • model checking
  • genetic algorithm
  • computer vision
  • expert systems
  • artificial neural networks
  • evolutionary algorithm
  • open source
  • metamodel