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

This chapter presents the following content: Testing and formal methods, formal testing, development process, specification based functional testing with formal methods, approaches to formal testing instantiations of formal framework, formal methods in block handler. |