𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc. Press [1991] Digest of Papers. Fault-Tolerant Computing: The Twenty-First International Symposium - Montreal, Que., Canada (25-27 June 1991)] [1991] Digest of Papers. Fault-Tolerant Computing: The Twenty-First International Symposium - The role of formal methods in the requirements analysis of safety-critical systems: a train set example

✍ Scribed by Saeed, A.; de Lemos, R.; Anderson, T.

Book ID: 126746485
Publisher: IEEE Comput. Soc. Press
Year: 1991
Weight: 775 KB
Category: Article
ISBN-13: 9780818621505
DOI: 10.1109/FTCS.1991.146704

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc. Press [1991] Digest o

[IEEE Comput. Soc. Press [1991] Digest of Papers. Fault-Tolerant Computing: The Twenty-First International Symposium - Montreal, Que., Canada (25-27 June 1991)] [1991] Digest of Papers. Fault-Tolerant Computing: The Twenty-First International Symposium - The Stratus architecture

✍ Webber, S.; Beirne, J. 📂 Article 📅 1991 🏛 IEEE Comput. Soc. Press ⚖ 496 KB

[IEEE Comput. Soc. Press [1991] Digest o

[IEEE Comput. Soc. Press [1991] Digest of Papers. Fault-Tolerant Computing: The Twenty-First International Symposium - Montreal, Que., Canada (25-27 June 1991)] [1991] Digest of Papers. Fault-Tolerant Computing: The Twenty-First International Symposium - Fault-tolerance experiments of the 'Hiten' onboard space computer

✍ Takano, T.; Yamada, T.; Shutoh, K.; Kanekawa, N. 📂 Article 📅 1991 🏛 IEEE Comput. Soc. Press ⚖ 567 KB

[IEEE Comput. Soc. Press [1991] Digest o

[IEEE Comput. Soc. Press [1991] Digest of Papers. Fault-Tolerant Computing: The Twenty-First International Symposium - Montreal, Que., Canada (25-27 June 1991)] [1991] Digest of Papers. Fault-Tolerant Computing: The Twenty-First International Symposium - Reconfiguration algorithm for fault-tolerant arrays with minimum number of dangerous processors

✍ Chen, C.; Feng, A.; Kikuno, T.; Torii, K. 📂 Article 📅 1991 🏛 IEEE Comput. Soc. Press ⚖ 580 KB

[IEEE Comput. Soc. Press [1991] Digest o

[IEEE Comput. Soc. Press [1991] Digest of Papers. Fault-Tolerant Computing: The Twenty-First International Symposium - Montreal, Que., Canada (25-27 June 1991)] [1991] Digest of Papers. Fault-Tolerant Computing: The Twenty-First International Symposium - The UCLA mirror processor: a building block for self-checking self-repairing computing nodes

✍ Tamir, Y.; Liang, M.; Lai, T.; Tremblay, M. 📂 Article 📅 1991 🏛 IEEE Comput. Soc. Press ⚖ 803 KB

[IEEE Comput. Soc. Press Twenty-Fifth In

[IEEE Comput. Soc. Press Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers - Pasadena, CA, USA (27-30 June 1995)] Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers - The ELEKTRA railway signalling system: field experience with an actively replicated system with diversity

✍ Kantz, H.; Koza, C. 📂 Article 📅 1995 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 564 KB

[IEEE Comput. Soc. Press [1988] The Eigh

[IEEE Comput. Soc. Press [1988] The Eighteenth International Symposium on Fault-Tolerant Computing. Digest of Papers - Tokyo, Japan (27-30 June 1988)] [1988] The Eighteenth International Symposium on Fault-Tolerant Computing. Digest of Papers - An implementation and analysis of a concurrent built-in self-test technique

✍ Sharma, R.; Saluja, K.K. 📂 Article 📅 1988 🏛 IEEE Comput. Soc. Press ⚖ 495 KB