Comparing LOTOS and Z Refinement Relations.

John Derrick Howard Bowman Eerke A. Boiten Maarten Steen

Published in: FORTE (1996)

Keyphrases

real time
machine learning
bayesian networks
conceptual graphs
data mining
website
background knowledge