𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2013 18th International Conference on Engineering of Complex Computer Systems (ICECCS) - Singapore, Singapore (2013.07.17-2013.07.19)] 2013 18th International Conference on Engineering of Complex Computer Systems - A Refinement Calculus for Promela

✍ Scribed by Sharma, Asankhaya

Book ID: 126615201
Publisher: IEEE
Year: 2013
Weight: 205 KB
Category: Article
ISBN: 076955007X
DOI: 10.1109/ICECCS.2013.20

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2013 18th International Conference

[IEEE 2013 18th International Conference on Engineering of Complex Computer Systems (ICECCS) - Singapore, Singapore (2013.07.17-2013.07.19)] 2013 18th International Conference on Engineering of Complex Computer Systems - Formal Modelling and Analysis of AODV

✍ Wu, Xiaofeng; Sanders, J.W.; Zhu, Huibiao 📂 Article 📅 2013 🏛 IEEE ⚖ 185 KB

[IEEE 2013 18th International Conference

[IEEE 2013 18th International Conference on Engineering of Complex Computer Systems (ICECCS) - Singapore, Singapore (2013.07.17-2013.07.19)] 2013 18th International Conference on Engineering of Complex Computer Systems - A Model-Driven Approach for Evaluating System of Systems

✍ Xia, Xiaokai; Wu, Ji; Liu, Chao; Xu, Luo 📂 Article 📅 2013 🏛 IEEE ⚖ 763 KB

[IEEE 2013 18th International Conference

[IEEE 2013 18th International Conference on Engineering of Complex Computer Systems (ICECCS) - Singapore, Singapore (2013.07.17-2013.07.19)] 2013 18th International Conference on Engineering of Complex Computer Systems - Knowledge-Based Verification of Service Compositions -- An SMT Approach

✍ Walther, Sven; Wehrheim, Heike 📂 Article 📅 2013 🏛 IEEE 🌐 English ⚖ 212 KB

[IEEE 2013 18th International Conference

[IEEE 2013 18th International Conference on Engineering of Complex Computer Systems (ICECCS) - Singapore, Singapore (2013.07.17-2013.07.19)] 2013 18th International Conference on Engineering of Complex Computer Systems - A Software Environment for Confining Malicious Android Applications via Resource Virtualization

✍ Li, Xiaolei; Bai, Guangdong; Liang, Zhenkai; Yin, Heng 📂 Article 📅 2013 🏛 IEEE ⚖ 231 KB

[IEEE 2013 18th International Conference

[IEEE 2013 18th International Conference on Engineering of Complex Computer Systems (ICECCS) - Singapore, Singapore (2013.07.17-2013.07.19)] 2013 18th International Conference on Engineering of Complex Computer Systems - Orion: A Software Project Search Engine with Integrated Diverse Software Artifacts

✍ Bissyande, Tegawende F.; Thung, Ferdian; Lo, David; Jiang, Lingxiao; Reveillere, 📂 Article 📅 2013 🏛 IEEE ⚖ 162 KB

[IEEE 2013 18th International Conference

[IEEE 2013 18th International Conference on Engineering of Complex Computer Systems (ICECCS) - Singapore, Singapore (2013.07.17-2013.07.19)] 2013 18th International Conference on Engineering of Complex Computer Systems - CARE: A Platform for Reliable Comparison and Analysis of Reverse-Engineering Techniques

✍ Lamprier, Sylvain; Baskiotis, Nicolas; Ziadi, Tewfik; Hillah, Lom Messan 📂 Article 📅 2013 🏛 IEEE ⚖ 151 KB