Đóng góp của Vinhnl
Của Vinhnl thảo luận nhật trình cấm tập tin đã tải lên nhật trình tài khoản toàn cục nhật trình sai phạm
Thành viên với 26 lần sửa đổi. Đã mở tài khoản vào ngày 23 tháng 12 năm 2010.
ngày 3 tháng 7 năm 2013
- 16:3916:39, ngày 3 tháng 7 năm 2013 khác sử 0 Model checking Không có tóm lược sửa đổi
ngày 17 tháng 6 năm 2011
- 00:2400:24, ngày 17 tháng 6 năm 2011 khác sử +25 n Model checking Không có tóm lược sửa đổi
- 00:1800:18, ngày 17 tháng 6 năm 2011 khác sử +9 n Model checking Không có tóm lược sửa đổi
- 00:1200:12, ngày 17 tháng 6 năm 2011 khác sử +8 n Model checking Không có tóm lược sửa đổi
- 00:1100:11, ngày 17 tháng 6 năm 2011 khác sử −1 n Model checking Sửa chính tả
- 00:1000:10, ngày 17 tháng 6 năm 2011 khác sử +26 n Model checking Sửa chút về chính tả
- 00:0500:05, ngày 17 tháng 6 năm 2011 khác sử +9 n Model checking Xuống dòng cho phần references
- 00:0400:04, ngày 17 tháng 6 năm 2011 khác sử +4.215 M Model checking ←Trang mới: “Một vài năm trở lại đây, '''Model Checking''' bắt đầu được sử dụng rộng rãi trong kiểm định các hệ thống phần mềm và các h…”