Network management views using delegated agents
CASCON '96 Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research
Algebraic techniques for the optimization of control flow checking
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
Integrating formal methods with system management
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Research: Signature-based method for run-time fault detection in communication protocols 1
Computer Communications
Hi-index | 0.00 |