Modeling and Verifying Abstract Multithreaded Systems.

Winfried Grünewald Klaus Schneider

Published in: MBMV (1998)

Keyphrases

distributed systems
computer vision
intelligent systems
digital libraries
management system
computer systems
artificial intelligence
information systems
similarity measure
expert systems
knowledge based systems
complex systems
modeling framework