ứng dụng công cụ NuSMV tạo ca kiểm thử từ máy hữu hạn trạng thái

• Tác giả: Đức Lân Võ
• Ngôn ngữ: vie
• Ký hiệu phân loại: 629.8 Automatic control engineering
• Thông tin xuất bản: Khoa học và Công nghệ (Đại học Phạm Văn Đồng), 2014
• Mô tả vật lý: 58-64
• Bộ sưu tập: Metadata
• ID: 503436