Application of formal description techniques to the specification of distributed test systems.

Richard J. Linn Jr.Jean Philippe Favreau

Published in: INFOCOM (1988)

Keyphrases

distributed systems
mission critical
cooperative
distributed object
expert systems
management system

autonomous mobile
formal specification
data intensive
conflict management
databases

distributed computation
heterogeneous environments
distributed architecture
specification language
formal methods

application specific
test data
lightweight
decision support
high level