Sign in

Verification of Airport Control Using Lisp Functional Language.

Shiva AsadianfamHoshang Kolivand
Published in: DeSE (2020)
Keyphrases
  • functional language
  • programming language
  • functional programming
  • general purpose
  • machine learning
  • search algorithm
  • model checking