Login / Signup
The Complexity of TRMCS-like Spiral Specification.
Tim Menzies
Published in:
IWSSD (2000)
Keyphrases
</>
formal specification
data sets
space complexity
database
neural network
learning algorithm
knowledge base
data structure
worst case
model checking