Bài viết đã được chỉnh sửa nội dung bởi thebluesea: 08-09-2011 - 16:19
Formal methods and Model Cheking
Bắt đầu bởi thebluesea, 08-09-2011 - 16:18
#1
Đã gửi 08-09-2011 - 16:18
Có bác nào biết các conferences, proceedings hay các journal về Formal methods, Model Cheking thì chỉ giáo giúp em với nhé, Thanks alot!
1 người đang xem chủ đề
0 thành viên, 1 khách, 0 thành viên ẩn danh