Login / Signup

Formal Analysis of Correctness of Behavioral Transformations.

Michael C. McFarland
Published in: Formal Methods Syst. Des. (1993)
Keyphrases
  • formal analysis
  • formal methods
  • neural network
  • human behavior
  • agent model
  • ban logic
  • case study