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