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