发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[IEEE 2009 First International Conference on Communications and Networking (ComNet) - Hammamet, Tunisia (2009.11.3-2009.11.6)] 2009 First International Conference on Communications and Networking - S-Promela: An executable specification security policies language

[IEEE 2009 First International Conference on Communications and Networking (ComNet) - Hammamet, Tunisia (2009.11.3-2009.11.6)] 2009 First International Conference on Communications and Networking - S-Promela: An executable specification security policies language

Abbassi, Ryma; Fatmi, Sihem Guemara El

作者Abbassi, Ryma; Fatmi, Sihem Guemara El
文件大小244.06KB
发表时间2009
DOI10.1109/comnet.2009.5373568
页码1-8

← 返回【学霸图书馆】主页