𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Modeling Component Connectors: Synchronisation and Context-Dependency

✍ Scribed by Izadi, Mohammad; Bonsangue, Marcello M.; Clarke, Dave

Book ID: 120942293
Publisher: IEEE
Year: 2008
Weight: 518 KB
Category: Article
ISBN: 0769534376
DOI: 10.1109/SEFM.2008.24

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2008 Sixth IEEE International Conf

[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Algebraic View Reconciliation

✍ Höfner, Peter; Khedri, Ridha; Möller, Bernhard 📂 Article 📅 2008 🏛 IEEE ⚖ 320 KB

[IEEE 2008 Sixth IEEE International Conf

[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Extracting Conditional Confidentiality Policies

✍ Tschantz, Michael Carl; Wing, Jeannette M. 📂 Article 📅 2008 🏛 IEEE ⚖ 361 KB

[IEEE 2008 Sixth IEEE International Conf

[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Nullness Analysis in Boolean Form

✍ Spoto, Fausto 📂 Article 📅 2008 🏛 IEEE ⚖ 370 KB

[IEEE 2008 Sixth IEEE International Conf

[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Static Analysis of the Determinism of Multithreaded Programs

✍ Ferrara, Pietro 📂 Article 📅 2008 🏛 IEEE ⚖ 369 KB

[IEEE 2008 International Conference on C

[IEEE 2008 International Conference on Computer Science and Software Engineering - Wuhan, China (2008.12.12-2008.12.14)] 2008 International Conference on Computer Science and Software Engineering - Evaluating Method of Security Threat Based on Attacking-Path Graph Model

✍ Liu, Xuezhong; Liu, Zengliang 📂 Article 📅 2008 🏛 IEEE ⚖ 333 KB

[IEEE 2008 International Conference on C

[IEEE 2008 International Conference on Computer Science and Software Engineering - Wuhan, China (2008.12.12-2008.12.14)] 2008 International Conference on Computer Science and Software Engineering - A Mosaic Method for Aerial Image Sequence by R/C Model

✍ Liu, Jin; Chen, Zhiyong; Guo, Ruifang 📂 Article 📅 2008 🏛 IEEE ⚖ 817 KB