Proving System Correctness with KIV.

Wolfgang Reif Gerhard Schellhorn Kurt Stenzel

Published in: TAPSOFT (1997)

Keyphrases

machine learning
expert systems
information technology
viewpoint
database
information systems
objective function
multi agent
video sequences
cooperative
object oriented