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

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

[IEEE 2008 New Technologies, Mobility and Security (NTMS) - Tangier, Morocco (2008.11.5-2008.11.7)] 2008 New Technologies, Mobility and Security - Security Oriented Analysis of B92 by Model Checking

[IEEE 2008 New Technologies, Mobility and Security (NTMS) - Tangier, Morocco (2008.11.5-2008.11.7)] 2008 New Technologies, Mobility and Security - Security Oriented Analysis of B92 by Model Checking

Elboukhari, Mohamed; Azizi, Abdelmalek; Azizi, Mostafa

作者Elboukhari, Mohamed; Azizi, Abdelmalek; Azizi, Mostafa
文件大小206.35KB
发表时间2008
DOI10.1109/ntms.2008.ecp.89
页码1-6

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