Formal specification of SNMPv3 entities using action semantics
Year of publication: |
2004
|
---|---|
Authors: | Duarte Jr, Elias P. ; Musicante, Martin A. ; Furlan, Diógenes Cogo |
Published in: |
International journal of network management. - Chichester : Wiley, ISSN 1055-7148, ZDB-ID 11243235. - Vol. 14.2004, 5, p. 295-304
|
Saved in:
Saved in favorites
Similar items by person
-
ANEMONA: a programming language for network monitoring applications
Duarte, Elias Procópio, (2008)
-
Improving the Dependability of Network Management Systems
Duarte Jr, Elias P., (1998)
- More ...