Em định tìm hiểu và dự định nghiên cứu sau này về các phương pháp hình thức (fomal methods) và kiểm định mô hình (model checking). Xin hỏi đây là lĩnh vực có ứng dụng rộng rãi không và nó được quan tâm nghiên cứu trên thế giới nhiều không vậy. Rất mong nhận được sử chỉ giáo của các bậc tiền bối. Thanks lot.
Các vấn đề của Formal Methods, Model Checking
Bắt đầu bởi thebluesea, 08-09-2011 - 16:13
#1
Đã gửi 08-09-2011 - 16:13
0 người đang xem chủ đề
0 thành viên, 0 khách, 0 thành viên ẩn danh