𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2008 15th Annual IEEE International Conference on Engineering of Computer Based Systems (ECBS) - Belfast, Northern Ireland (2008.03.31-2008.04.4)] 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008) - Protocol Verification in a Software Component-Based Approach

✍ Scribed by Mouakher, Inès; Souquières, Jeanine; Alexandre, Francis

Book ID: 120325606
Publisher: IEEE
Year: 2008
Weight: 714 KB
Category: Article
ISBN: 0769531415
DOI: 10.1109/ECBS.2008.16

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2008 15th Annual IEEE Internationa

[IEEE 2008 15th Annual IEEE International Conference on Engineering of Computer Based Systems (ECBS) - Belfast, Northern Ireland (2008.03.31-2008.04.4)] 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008) - Biometric Inspired Digital Image Steganography

✍ Cheddad, Abbas; Condell, Joan; Curran, Kevin; Kevitt, Paul Mc 📂 Article 📅 2008 🏛 IEEE ⚖ 388 KB

[IEEE 2008 15th Annual IEEE Internationa

[IEEE 2008 15th Annual IEEE International Conference on Engineering of Computer Based Systems (ECBS) - Belfast, Northern Ireland (2008.03.31-2008.04.4)] 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008) - An Appraisal of Existing Evaluation Frameworks for Agile Methodologies

✍ Taromirad, Masoumeh; Ramsin, Raman 📂 Article 📅 2008 🏛 IEEE ⚖ 350 KB

[IEEE 2008 15th Annual IEEE Internationa

[IEEE 2008 15th Annual IEEE International Conference on Engineering of Computer Based Systems (ECBS) - Belfast, Northern Ireland (2008.03.31-2008.04.4)] 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008) - Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets

✍ Staines, Tony Spiteri 📂 Article 📅 2008 🏛 IEEE ⚖ 529 KB

[IEEE 2008 13th IEEE International Confe

[IEEE 2008 13th IEEE International Conference on Engineering of Complex Computer Systems - (ICECCS) - Belfast, Northern Ireland (2008.03.31-2008.04.3)] 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008) - Global Software Engineering Research in a Small Country

✍ Ryan, Kevin 📂 Article 📅 2008 🏛 IEEE ⚖ 66 KB

[IEEE 2008 13th IEEE International Confe

[IEEE 2008 13th IEEE International Conference on Engineering of Complex Computer Systems - (ICECCS) - Belfast, Northern Ireland (2008.03.31-2008.04.3)] 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008) - AADL Execution Semantics Transformation for Formal Verification

✍ Abdoul, Thomas; Champeau, Joel; Dhaussy, Philippe; Pillain, Pierre Yves; Roger, 📂 Article 📅 2008 🏛 IEEE ⚖ 325 KB

[IEEE 2008 13th IEEE International Confe

[IEEE 2008 13th IEEE International Conference on Engineering of Complex Computer Systems - (ICECCS) - Belfast, Northern Ireland (2008.03.31-2008.04.3)] 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008) - Automatic Composition of AADL Models for the Verification of Critical Component-Based Embedded Systems

✍ Balp, Hugues; Borde, Étienne; Haïk, Grégory; Tilman, Jean-François 📂 Article 📅 2008 🏛 IEEE ⚖ 362 KB