Login / Signup

Specification.

Raymond Turner
Published in: Minds Mach. (2011)
Keyphrases
  • formal verification
  • high level
  • specification language
  • artificial intelligence
  • special case
  • tool suite
  • search engine
  • evolutionary algorithm
  • mobile robot
  • probability distribution
  • formal specification
  • state machine