Login / Signup

Structured methodologies & formal notations: Developing a framework for synthesis and investigation.

Tony Bryant
Published in: Z User Workshop (1989)
Keyphrases
  • main contribution
  • real world
  • artificial intelligence
  • theoretical framework
  • bayesian framework
  • database
  • real time
  • databases
  • lightweight