K.J.比巴
人员信息
优化列表
1970 – 1979
1979 [c2] Padlipsky硕士 , K.J.比巴 , 理查德·B·尼利 :
KSOS-计算机网络应用程序。 作记号 1979 : 373-382 1975 【c1】 肯尼思·沃尔特 , 塞缪尔·沙恩 , 威廉·奥格登 , 威廉·C·罗兹 , D.G.Shumway公司 , D.D.谢弗 , K.J.比巴 , 弗兰克林·布拉德肖 , S.R.艾姆斯 , J.M.吉利根 :
安全内核的结构化规范。 可靠的软件 1975 : 285-293