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