Application of formal description techniques to the specification of distributed test systems.
Richard J. Linn Jr.Jean Philippe FavreauPublished 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