Formal specification and testing of a management architecture

Authors:
G. P. A. Fernandes;J. Derrick
Affiliations:
-;-
Venue:
Proceedings of the fifth IFIP/IEEE international symposium on Integrated network management V : integrated management in a virtual world: integrated management in a virtual world
Year:
1997

Citing 0
Cited 1

Derivation of Backup Service Management Applications from Service and System Models

DSOM '99 Proceedings of the 10th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management: Active Technologies for Network and Service Management

Quantified Score

Hi-index	0.00

Visualization

Abstract