On the effectiveness of a message-driven confidence-driven protocol for guarded software upgrading

DOI10.1016/S0166-5316(00)00054-7MaRDI QIDQ4538485zbMATH OpenOpenAlexWikidataFDO

Authors Ann T. Tai, K. S. Tso, Leon Alkalai, Savio N. Chau, William H. Sanders

Publication date 14 July 2002

Published in Performance Evaluation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0166-5316(00)00054-7

zbMATH Keywords

guarded software upgrading

Mathematics Subject Classification ID

Network protocols (68M12)

Recommendations

• Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method
• Verification of evolving software via component substitutability analysis
• scientific article; zbMATH DE number 2017349
• FM 2005: Formal Methods
• Mutatis mutandis: safe and predictable dynamic software updating

Cited in

(1)

• scientific article; zbMATH DE number 2017349 (Why is no real title available?)

This page was built for publication: On the effectiveness of a message-driven confidence-driven protocol for guarded software upgrading

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4538485)