Đang chuẩn bị liên kết để tải về tài liệu:
Lecture Formal methods in software engineering - Lecture 31

Lecture Formal methods in software engineering - Lecture 31: Applications of formal methods. This chapter presents the following content: A real application; testing based on formal methods; another real application; model construction and model checking beyond what you have seen in this entire set of lectures; a third, very real application; wrap up. |