𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2011 11th Annual International Conference on New Technologies of Distributed Systems (NOTERE) - Paris, France (2011.05.9-2011.05.13)] 2011 11th Annual International Conference on New Technologies of Distributed Systems - AVATAR: A SysML Environment for the Formal Verification of Safety and Security Properties

✍ Scribed by Pedroza, Gabriel; Apvrille, Ludovic; Knorreck, Daniel

Book ID: 121834460
Publisher: IEEE
Year: 2011
Weight: 217 KB
Category: Article
ISBN: 1457707292
DOI: 10.1109/NOTERE.2011.5957992

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2011 11th Annual International Con

[IEEE 2011 11th Annual International Conference on New Technologies of Distributed Systems (NOTERE) - Paris, France (2011.05.9-2011.05.13)] 2011 11th Annual International Conference on New Technologies of Distributed Systems - Kalimucho: Adaptation Platform for Mobile Applications

✍ Louberry, Christine; Roose, Philippe; Dalmau, Marc 📂 Article 📅 2011 🏛 IEEE ⚖ 484 KB

[IEEE 2011 11th Annual International Con

[IEEE 2011 11th Annual International Conference on New Technologies of Distributed Systems (NOTERE) - Paris, France (2011.05.9-2011.05.13)] 2011 11th Annual International Conference on New Technologies of Distributed Systems - Dynamic Deployment of Collaborative Components in Service-Oriented Architectures

✍ Ben Alaya, Mahdi; Baudin, Veronique; Drira, Khalil 📂 Article 📅 2011 🏛 IEEE ⚖ 864 KB

[IEEE 2011 11th Annual International Con

[IEEE 2011 11th Annual International Conference on New Technologies of Distributed Systems (NOTERE) - Paris, France (2011.05.9-2011.05.13)] 2011 11th Annual International Conference on New Technologies of Distributed Systems - CSC (Component, Service, Connector): A Platform for Self-Adaptation of Multimedia Applications

✍ Makhlouf, Derdour; Roose, Philippe; Dalmau, Marc; Ghoualmi-zine, Nacera 📂 Article 📅 2011 🏛 IEEE ⚖ 360 KB

[IEEE 2011 11th Annual International Con

[IEEE 2011 11th Annual International Conference on New Technologies of Distributed Systems (NOTERE) - Paris, France (2011.05.9-2011.05.13)] 2011 11th Annual International Conference on New Technologies of Distributed Systems - Towards a Framework for Weaving Social Networks Principles into Web Services Discovery

✍ Faci, Noura; Maamar, Zakaria; Abdeldjelil, Hanane; Benslimane, Djamal 📂 Article 📅 2011 🏛 IEEE ⚖ 710 KB

[IEEE 2011 4th International Conference

[IEEE 2011 4th International Conference on Electric Utility Deregulation and Restructuring and Power Technologies (DRPT) - Weihai, China (2011.07.6-2011.07.9)] 2011 4th International Conference on Electric Utility Deregulation and Restructuring and Power Technologies (DRPT) - A new model applied to the planning of distribution systems for competitive electricity markets

✍ Thang, V. V.; Thong, D. Q.; Khanh, B. Q. 📂 Article 📅 2011 🏛 IEEE ⚖ 583 KB