Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems.

Andreas Both Wolf Zimmermann

Published in: CBSE (2008)

Keyphrases

distributed systems
computing systems
neural network
information systems
semi automatic
expert systems
intelligent systems
computer systems
building blocks
multi party