Login / Signup

QP Based Framework for Development and Formal Verification of Flight Control Software of UAV.

Yuchao ZhangGuoqi LiJuan Zhang
Published in: AICI (1) (2011)
Keyphrases
  • formal verification
  • control software
  • model checking
  • software architecture
  • automated verification