Sign in

A formal specification animation method for operation validation.

Shaoying LiuWeikai Miao
Published in: J. Syst. Softw. (2021)
Keyphrases
  • formal specification
  • similarity measure
  • machine learning
  • database systems
  • objective function
  • reverse engineering