This includes specific mechanisms for achieving fault-tolerance, as well as for appropriately modeling fault-tolerant systems, and expressing and reasoning about fault-tolerant behaviors.
This includes specific mechanisms for achieving fault-tolerance, as well as for appropriately modeling fault-tolerant systems, and expressing and reasoning about fault-tolerant behaviors.
Điều này bao gồm các cơ chế cụ thể để đạt được khả năng chịu sai, cũng như thích hợp cho mô hình hóa các hệ thống chịu lỗi, và diễn tả và suy luận về hành vi chịu lỗi.