𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2013 IEEE 7th International Conference on Software Security and Reliability-Companion (SERE-C) - Gaithersburg, MD, USA (2013.06.18-2013.06.20)] 2013 IEEE Seventh International Conference on Software Security and Reliability Companion - Application of Software Safety Analysis Using Event-B

✍ Scribed by Hong, Zhang; Lili, Xu

Book ID: 125830167
Publisher: IEEE
Year: 2013
Weight: 428 KB
Category: Article
ISBN: 1479929247
DOI: 10.1109/SERE-C.2013.45

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2013 IEEE 7th International Confer

[IEEE 2013 IEEE 7th International Conference on Software Security and Reliability-Companion (SERE-C) - Gaithersburg, MD, USA (2013.06.18-2013.06.20)] 2013 IEEE Seventh International Conference on Software Security and Reliability Companion - A Practical Model for Rating Software Security

✍ Xu, Haiyun; Heijmans, Jeroen; Visser, Joost 📂 Article 📅 2013 🏛 IEEE ⚖ 121 KB

[IEEE 2013 IEEE 7th International Confer

[IEEE 2013 IEEE 7th International Conference on Software Security and Reliability-Companion (SERE-C) - Gaithersburg, MD, USA (2013.06.18-2013.06.20)] 2013 IEEE Seventh International Conference on Software Security and Reliability Companion - Behavioral Analysis of Android Applications Using Automated Instrumentation

✍ Karami, Mohammad; Elsabagh, Mohamed; Najafiborazjani, Parnian; Stavrou, Angelos 📂 Article 📅 2013 🏛 IEEE ⚖ 609 KB

[IEEE 2013 IEEE 7th International Confer

[IEEE 2013 IEEE 7th International Conference on Software Security and Reliability-Companion (SERE-C) - Gaithersburg, MD, USA (2013.06.18-2013.06.20)] 2013 IEEE Seventh International Conference on Software Security and Reliability Companion - A New Security Metric for SOA Implementations

✍ Larson, Dave; Liu, Jigang 📂 Article 📅 2013 🏛 IEEE ⚖ 256 KB

[IEEE 2013 IEEE 7th International Confer

[IEEE 2013 IEEE 7th International Conference on Software Security and Reliability-Companion (SERE-C) - Gaithersburg, MD, USA (2013.06.18-2013.06.20)] 2013 IEEE Seventh International Conference on Software Security and Reliability Companion - A Categorical Approach for Modeling and Verifying Dynamic Software Architecture

✍ Ling, Xiang 📂 Article 📅 2013 🏛 IEEE ⚖ 322 KB

[IEEE 2013 IEEE 7th International Confer

[IEEE 2013 IEEE 7th International Conference on Software Security and Reliability-Companion (SERE-C) - Gaithersburg, MD, USA (2013.06.18-2013.06.20)] 2013 IEEE Seventh International Conference on Software Security and Reliability Companion - Evaluation of Random Projection for Malware Classification

✍ Ponomarev, Stanislav; Durand, Jan; Wallace, Nathan; Atkison, Travis 📂 Article 📅 2013 🏛 IEEE ⚖ 382 KB

[IEEE 2013 IEEE 7th International Confer

[IEEE 2013 IEEE 7th International Conference on Software Security and Reliability-Companion (SERE-C) - Gaithersburg, MD, USA (2013.06.18-2013.06.20)] 2013 IEEE Seventh International Conference on Software Security and Reliability Companion - Designing an Enterprise Security Strategy for Mobile Intranet Access

✍ Trojahn, Matthias; Ortmeier, Frank 📂 Article 📅 2013 🏛 IEEE ⚖ 185 KB