𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2010 IEEE International Conference on Information Theory and Information Security (ICITIS) - Beijing, China (2010.12.17-2010.12.19)] 2010 IEEE International Conference on Information Theory and Information Security - UPPAAL-based real-time testing: New coverage criteria and length-optimal test generation

✍ Scribed by Lin Xi, ; Qinglei Zhou,

Book ID: 126612588
Publisher: IEEE
Year: 2010
Weight: 221 KB
Category: Article
ISBN: 1424469422
DOI: 10.1109/ICITIS.2010.5689613

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2010 IEEE International Conference

[IEEE 2010 IEEE International Conference on Information Theory and Information Security (ICITIS) - Beijing, China (2010.12.17-2010.12.19)] 2010 IEEE International Conference on Information Theory and Information Security - Trusted module based secure electronic transaction scheme

✍ Jian Mao, ; Ku Li, ; Xiandong Xu, 📂 Article 📅 2010 🏛 IEEE ⚖ 165 KB

[IEEE 2010 IEEE International Conference

[IEEE 2010 IEEE International Conference on Information Theory and Information Security (ICITIS) - Beijing, China (2010.12.17-2010.12.19)] 2010 IEEE International Conference on Information Theory and Information Security - Cooperative relay cognitive interference channel

✍ Kazemi, Mohammad; Aref, Mohammad Reza; Attari, Mahmood Ahmadian 📂 Article 📅 2010 🏛 IEEE ⚖ 198 KB

[IEEE 2010 IEEE International Conference

[IEEE 2010 IEEE International Conference on Information Theory and Information Security (ICITIS) - Beijing, China (2010.12.17-2010.12.19)] 2010 IEEE International Conference on Information Theory and Information Security - Deterministic multiple access wiretap channel

✍ Jahandideh, Vahid; Salimi, Somaye; Salmasizadeh, Mahmoud 📂 Article 📅 2010 🏛 IEEE ⚖ 131 KB

[IEEE 2010 IEEE International Conference

[IEEE 2010 IEEE International Conference on Information Theory and Information Security (ICITIS) - Beijing, China (2010.12.17-2010.12.19)] 2010 IEEE International Conference on Information Theory and Information Security - A Test-Driven Web application model based on layered approach

✍ Dengshan Tian, ; Jiwen Wen, ; Yin Liu, ; Ning Ma, ; Huiping Wei, 📂 Article 📅 2010 🏛 IEEE ⚖ 107 KB

[IEEE 2010 IEEE International Conference

[IEEE 2010 IEEE International Conference on Information Theory and Information Security (ICITIS) - Beijing, China (2010.12.17-2010.12.19)] 2010 IEEE International Conference on Information Theory and Information Security - Application-oriented cross-CA certificate trust

✍ Yihong Long, ; Zhihong Tang, ; Xu Liu, 📂 Article 📅 2010 🏛 IEEE ⚖ 101 KB

[IEEE 2010 IEEE International Conference

[IEEE 2010 IEEE International Conference on Information Theory and Information Security (ICITIS) - Beijing, China (2010.12.17-2010.12.19)] 2010 IEEE International Conference on Information Theory and Information Security - A survey of Identity Management technology

✍ Yuan Cao, ; Lin Yang, 📂 Article 📅 2010 🏛 IEEE ⚖ 240 KB