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