Protocol quality engineering: addressing industry concerns about formal methods

Robert L. Probert, Ning Lew. Protocol quality engineering: addressing industry concerns about formal methods. Computer Communications, 19(14):1258-1267, 1996. [doi]

Abstract

Abstract is missing.