Towards Verifying Large(r) Systems: A Strategy and an Experiment.

P. A. Subrahmanyam

Published in: CHARME (1993)

Keyphrases

management system
knowledge based systems
learning systems
complex systems
database
real time
databases
website
intelligent systems
computing systems