Checking Event-Based Specifications in Java Systems.

Steven P. Reiss

Published in: Electron. Notes Theor. Comput. Sci. (2006)

Keyphrases

knowledge base
complex systems
database
real time
databases
information systems
expert systems
management system
distributed systems
intelligent systems
learning systems
embedded systems
asynchronous circuits