An Approach to Literate and Structured Formal Developments.

Martin Simons Matthias Weber

Published in: Formal Aspects Comput. (1996)

Keyphrases

artificial intelligence
structured data
paradigm shift
real world
formal model
formal methods
real time
multimedia
website
decision trees
objective function
probabilistic model
logic programming
formal analysis