Testing Conditions for Communicating Stream X-machine Systems.

Florentin Ipate Mike Holcombe

Published in: Formal Aspects Comput. (2002)

Keyphrases

intelligent systems
learning systems
data streams
real time
decision making
expert systems
control system
distributed systems
computing systems
complex systems
building blocks
computer systems
sufficient conditions
data processing
data structure
neural network
databases