Login / Signup

Mathematics for the exploration of requirements.

Michael Huth
Published in: ACM SIGCSE Bull. (2004)
Keyphrases
  • real time systems
  • real time
  • artificial intelligence
  • computer assisted instruction
  • computer algebra
  • guided exploration