𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2010 Third International Conference on Dependability (DEPEND) - Venice, Italy (2010.07.18-2010.07.25)] 2010 Third International Conference on Dependability - From Formal Specification in Event-B to Probabilistic Reliability Assessment

✍ Scribed by Tarasyuk, Anton; Troubitsyna, Elena; Laibinis, Linas

Book ID: 120229867
Publisher: IEEE
Year: 2010
Weight: 327 KB
Category: Article
ISBN: 1424475309
DOI: 10.1109/DEPEND.2010.12

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2010 Third International Conferenc

[IEEE 2010 Third International Conference on Dependability (DEPEND) - Venice, Italy (2010.07.18-2010.07.25)] 2010 Third International Conference on Dependability - Software-Implemented Fault Injection at Firmware Level

✍ Tröger, Peter; Salfner, Felix; Tschirpke, Steffen 📂 Article 📅 2010 🏛 IEEE ⚖ 260 KB

[IEEE 2010 Third International Conferenc

[IEEE 2010 Third International Conference on Dependability (DEPEND) - Venice, Italy (2010.07.18-2010.07.25)] 2010 Third International Conference on Dependability - Software-Implemented Hardware Error Detection: Costs and Gains

✍ Schiffel, Ute; Schmitt, André; Süßkraut, Martin; Fetzer, Christof 📂 Article 📅 2010 🏛 IEEE ⚖ 247 KB

[IEEE 2010 Third International Conferenc

[IEEE 2010 Third International Conference on Dependability (DEPEND) - Venice, Italy (2010.07.18-2010.07.25)] 2010 Third International Conference on Dependability - End-to-End Transfer Rate Adjustment Mechanism for VANET

✍ Ohta, Tomoyuki; Ogasawara, Kazuki; Kakuda, Yoshiaki 📂 Article 📅 2010 🏛 IEEE ⚖ 207 KB

[IEEE 2010 Third International Conferenc

[IEEE 2010 Third International Conference on Dependability (DEPEND) - Venice, Italy (2010.07.18-2010.07.25)] 2010 Third International Conference on Dependability - A User Requirement-Driven Service Dynamic Personalized QoS Model

✍ Gao, Yan; Zhang, Bin; Shi, Shao-wei; Zhu, Hong-ning; Na, Jun; Zhou, Fu-cai 📂 Article 📅 2010 🏛 IEEE ⚖ 367 KB

[IEEE 2010 Third International Conferenc

[IEEE 2010 Third International Conference on Dependability (DEPEND) - Venice, Italy (2010.07.18-2010.07.25)] 2010 Third International Conference on Dependability - Performability Comparison of Schedulability Conditions in Real-Time Embedded Systems

✍ Bashiri, Mohsen; Miremadi, Seyed Ghassem 📂 Article 📅 2010 🏛 IEEE ⚖ 303 KB

[IEEE 2010 Third International Conferenc

[IEEE 2010 Third International Conference on Dependability (DEPEND) - Venice, Italy (2010.07.18-2010.07.25)] 2010 Third International Conference on Dependability - On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems

✍ Mazzara, Manuel; Bhattacharyya, Anirban 📂 Article 📅 2010 🏛 IEEE ⚖ 215 KB