Specification and testing of the behavior of network management agents using SDL-92

Authors:
Olaf Henniger;Michel Barbeau;Behçet Sarikaya
Affiliations:
GMD, German National Research, Center for Information Technology, Darmstdt, Germany;University of Sherbrooke, Québec, Canada;University of Aizu, Aizu-Wakamatsu, Fukushima, Japan
Venue:
IEEE/ACM Transactions on Networking (TON)
Year:
1996

Data and computer communications (3rd ed.)

Data and computer communications (3rd ed.)
The simple book (2nd ed.): an introduction to internet management

The simple book (2nd ed.): an introduction to internet management
Object-oriented analysis and design with applications (2nd ed.)

Object-oriented analysis and design with applications (2nd ed.)
Combining ASN1 Support with the LOTOS Language

Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification IX

Hi-index	0.00