𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc International Conference on Dependable Systems and Networks - Washington, DC, USA (23-26 June 2002)] Proceedings International Conference on Dependable Systems and Networks - On the use of disaster prediction for failure-tolerance in feedback control systems

✍ Scribed by Cunha, J.C.; Rela, M.Z.; Silva, J.G.

Book ID: 126708504
Publisher: IEEE Comput. Soc
Year: 2002
Tongue: English
Weight: 339 KB
Category: Article
ISBN-13: 9780769515977
DOI: 10.1109/DSN.2002.1028893

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc International Conferen

[IEEE Comput. Soc International Conference on Dependable Systems and Networks - Washington, DC, USA (23-26 June 2002)] Proceedings International Conference on Dependable Systems and Networks - Track-based disk logging

✍ Tzi-cker Chiueh, ; Lan Huang, 📂 Article 📅 2002 🏛 IEEE Comput. Soc 🌐 English ⚖ 346 KB

[IEEE Comput. Soc International Conferen

[IEEE Comput. Soc International Conference on Dependable Systems and Networks - Washington, DC, USA (23-26 June 2002)] Proceedings International Conference on Dependable Systems and Networks - Model checking performability properties

✍ Haverkort, B.; Cloth, L.; Hermanns, H.; Katoen, J.-P.; Baier, C. 📂 Article 📅 2002 🏛 IEEE Comput. Soc ⚖ 376 KB

[IEEE Comput. Soc International Conferen

[IEEE Comput. Soc International Conference on Dependable Systems and Networks - Washington, DC, USA (23-26 June 2002)] Proceedings International Conference on Dependable Systems and Networks - Self-organizing systems with self-diagnosability

✍ Yoshida, K.; Kohda, T.; Sujaku, Y. 📂 Article 📅 2002 🏛 IEEE Comput. Soc ⚖ 400 KB

[IEEE Comput. Soc International Conferen

[IEEE Comput. Soc International Conference on Dependable Systems and Networks - Washington, DC, USA (23-26 June 2002)] Proceedings International Conference on Dependable Systems and Networks - Caveat: a tool for software validation

✍ Baudin, P.; Pacalet, A.; Raguideau, J.; Schoen, D.; Williams, N. 📂 Article 📅 2002 🏛 IEEE Comput. Soc ⚖ 196 KB

[IEEE Comput. Soc International Conferen

[IEEE Comput. Soc International Conference on Dependable Systems and Networks - Washington, DC, USA (23-26 June 2002)] Proceedings International Conference on Dependable Systems and Networks - A compositional approach to monitoring distributed systems

✍ Zulkernine, M.; Seviora, R.E. 📂 Article 📅 2002 🏛 IEEE Comput. Soc ⚖ 366 KB

[IEEE Comput. Soc International Conferen

[IEEE Comput. Soc International Conference on Dependable Systems and Networks - Washington, DC, USA (23-26 June 2002)] Proceedings International Conference on Dependable Systems and Networks - Process modelling to support dependability arguments

✍ Bloomfield, R.; Guerra, S. 📂 Article 📅 2002 🏛 IEEE Comput. Soc 🌐 English ⚖ 320 KB