Tracking Design Changes with Formal Machine - Checked Proof.

Published in: Comput. J. (1995)

Keyphrases

real time
case study
knowledge based systems
object tracking
software architecture
computer aided
neural network
web services
control system
building blocks
design process
visual tracking
theorem proving