Protocol testing: review of methods and relevance for software testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Protocol quality engineering: addressing industry concerns about formal methods
Computer Communications
Hi-index | 0.00 |