𝔖 Bobbio Scriptorium

✦ LIBER ✦

Fault-tolerant system dependability-explicit modeling of hardware and software component-interactions

✍ Scribed by Kanoun, K.; Ortalo-Borrel, M.

Book ID: 114555874
Publisher: IEEE
Year: 2000
Tongue: English
Weight: 287 KB
Volume: 49
Category: Article
ISSN: 0018-9529
DOI: 10.1109/24.922489

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Mode

[Lecture Notes in Computer Science] Model Driven Engineering Languages and Systems Volume 7590 || Model Driven Configuration of Fault Tolerance Solutions for Component-Based Software System

✍ France, Robert B.; Kazmeier, Jürgen; Breu, Ruth; Atkinson, Colin 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 441 KB

An interface test model for hardware-dep

An interface test model for hardware-dependent software and embedded OS API of the embedded system

✍ Ahyoung Sung; Byoungju Choi; Seokkyoo Shin 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 852 KB

Communication systems interactive softwa

Communication systems interactive software (comsis): modeling of components and its application to the simulation of optical communication systems

✍ Le Brun, Christine ;Guillard, Eric ;Citerne, Jacques 📂 Article 📅 1998 🏛 The Optical Society 🌐 English ⚖ 141 KB

[IEEE Comput. Soc International Conferen

[IEEE Comput. Soc International Conference on Dependable Systems and Networks (includes FTCS-30 30th Annual International Symposium on Fault-Tolerant Computing and DCCA-8) - New York, NY, USA (25-28 June 2000)] Proceeding International Conference on Dependable Systems and Networks. DSN 2000 - DEEM: a tool for the dependability modeling and evaluation of multiple phased systems

✍ Bondavalli, A.; Mura, I.; Chiaradonna, S.; Filippini, R.; Poli, S.; Sandrini, F. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 163 KB

[IEEE Comput. Soc 18th IEEE Internationa

[IEEE Comput. Soc 18th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems - Boston, MA, USA (3-5 Nov. 2003)] Proceedings. 16th IEEE Symposium on Computer Arithmetic - Dependability analysis using a fault injection tool based on synthesizability of HDL models

✍ Zarandi, H.R.; Miremadi, S.G.; Ejlali, A. 📂 Article 📅 2003 🏛 IEEE Comput. Soc ⚖ 299 KB