For example, in [9], an approach to

For example, in [9], an approach to design and verify programs that tolerate faults, where faults are formalized as operations performed at random time intervals, is proposed.

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

Ví dụ, [9], một cách tiếp cận để thiết kế và xác minh chương trình chịu đựng được thất bại, nơi lỗi được chính thức hoá khi thao tác thực hiện ngẫu nhiên khoảng thời gian, được đề xuất.

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

Ví dụ, trong [9], một cách tiếp cận để thiết kế và kiểm tra các chương trình mà chịu đựng lỗi lầm, mà lỗi được chính thức hóa như hoạt động thực hiện tại các khoảng thời gian ngẫu nhiên, được đề xuất.