𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC) - Shanghai, China (2009.11.16-2009.11.18)] 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing - Using the NuSMV Model Checker for Test Generation from Statecharts

✍ Scribed by Kadono, Masaya; Tsuchiya, Tatsuhiro; Kikuno, Tohru

Book ID: 120529675
Publisher: IEEE
Year: 2009
Weight: 188 KB
Category: Article
ISBN: 0769538495
DOI: 10.1109/PRDC.2009.15

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2009 15th IEEE Pacific Rim Interna

[IEEE 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC) - Shanghai, China (2009.11.16-2009.11.18)] 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing - Built-In Self-Repair Techniques for Heterogeneous Memory Cores

✍ Wang, Zhen-Yu; Tsai, Yi-Ming; Lu, Shyue-Kung 📂 Article 📅 2009 🏛 IEEE ⚖ 460 KB

[IEEE 2009 15th IEEE Pacific Rim Interna

[IEEE 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC) - Shanghai, China (2009.11.16-2009.11.18)] 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing - Online Computing and Predicting Architectural Vulnerability Factor of Microprocessor Structures

✍ Pan, Songjun; Hu, Yu; Li, Xiaowei 📂 Article 📅 2009 🏛 IEEE ⚖ 352 KB

[IEEE 2009 15th IEEE Pacific Rim Interna

[IEEE 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC) - Shanghai, China (2009.11.16-2009.11.18)] 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing - Quantifying Criticality of Dependability-Related IT Organization Processes in CobiT

✍ Goldschmidt, Tobias; Dittrich, Andreas; Malek, Miroslaw 📂 Article 📅 2009 🏛 IEEE ⚖ 324 KB

[IEEE 2009 15th IEEE Pacific Rim Interna

[IEEE 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC) - Shanghai, China (2009.11.16-2009.11.18)] 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing - A Reliable Non-volatile Memory System: Exploiting File-System Characteristics

✍ Wu, Chin-Hsien; Chang, Wen-Yen; Hong, Zen-Wei 📂 Article 📅 2009 🏛 IEEE ⚖ 423 KB

[IEEE 2009 15th IEEE Pacific Rim Interna

[IEEE 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC) - Shanghai, China (2009.11.16-2009.11.18)] 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing - A GA-Based Method for High-Quality X-Filling to Reduce Launch Switching Activity in At-speed Scan Testing

✍ Yamato, Yuta; Wen, Xiaoqing; Miyase, Kohei; Furukawa, Hiroshi; Kajihara, Seiji 📂 Article 📅 2009 🏛 IEEE ⚖ 192 KB

[IEEE 2009 15th IEEE Pacific Rim Interna

[IEEE 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC) - Shanghai, China (2009.11.16-2009.11.18)] 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing - Comparing the Effectiveness of Penetration Testing and Static Code Analysis on the Detection of SQL Injection Vulnerabilities in Web Services

✍ Antunes, Nuno; Vieira, Marco 📂 Article 📅 2009 🏛 IEEE ⚖ 741 KB