Sign in

Formalizing Correct-by-Construction Casper in Coq.

Elaine LiTraian SerbanutaDenisa DiaconescuVlad ZamfirGrigore Rosu
Published in: IEEE ICBC (2020)
Keyphrases
  • case study
  • database
  • real time
  • computer vision
  • feature selection
  • pattern recognition
  • formal methods