In this paper, we propose an altern

In this paper, we propose an alternative formal approach for dealing with the analysis of fault-tolerance, which allows for a fully automated analysis, and appropriately distinguishes faulty behaviors from normal ones.

Kết quả (Việt) 1:

Trong bài này, chúng tôi đề xuất một cách tiếp cận chính thức thay thế để đối phó với các phân tích lỗi-khoan dung, cho phép cho một phân tích hoàn toàn tự động, và một cách thích hợp có thể phân biệt bị lỗi hành vi từ những người bình thường.

Kết quả (Việt) 2:

Trong bài báo này, chúng tôi đề xuất một cách tiếp cận chính thức thay thế để đối phó với việc phân tích các lỗi khoan dung, cho phép cho một phân tích hoàn toàn tự động, và thích hợp để phân biệt các hành vi bị lỗi từ những người bình thường.