arrow
返回
P

Pamela Zave

Princeton University

30H指数
142论文数
4.8K被引数
收录论文 13
发表时间
A Verified Session Protocol for Dynamic Service Chaining
err2020-01-01
err1
errOAAI
errZave, Pamela; Carvalho, Fabricio B.; Ferreira, Ronaldo A.; Rexford, Jennifer; Morimoto, Masaharu; Zou, Xuan Kelvin
err分享
err收藏
The Compositional Architecture of the Internet
err2019-02-21
err17
PREAI
errZave, Pamela; Rexford, Jennifer
err分享
err收藏
Matching and Merging of Variant Feature Specifications变异特征规格的匹配与合并
err2012-11-01
err27
errOAAI
errNejati, Shiva; Sabetzadeh, Mehrdad; Chechik, Marsha; Easterbrook, Steve; Zave, Pamela
err分享
err收藏
err分享
err收藏
err分享
err收藏
SPECIFYING SOFTWARE REQUIREMENTS
err1980-01-01
err28
PREAI
errYEH, RT; ZAVE, P
err分享
err收藏