A unified approach to fault-tolerance in communication protocols based on recovery procedures
IEEE/ACM Transactions on Networking (TON)
Protocol quality engineering: addressing industry concerns about formal methods
Computer Communications
Hi-index | 0.00 |