modelchecking based approaches to f

modelchecking based approaches to fault-tolerance provide significant benefits over other semi-automated or manual formal approaches.

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

modelchecking dựa trên phương pháp tiếp cận để khoan dung lỗi cung cấp lợi ích đáng kể trong các phương pháp chính thức bán tự động hoặc hướng dẫn sử dụng.

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

modelchecking phương pháp tiếp cận dựa vào khả năng chịu sai đem lại lợi ích đáng kể so với phương pháp tiếp cận chính thức bán tự động hoặc bằng tay khác.