Challenges in Software Verification
Khám phá danh sách tài liệu hữu ích về thách thức trong xác minh phần mềm. Tìm hiểu và nâng cao kiến thức của bạn ngay hôm nay!
Chuyên khảo phân tích Luận văn avoiding state space explosion in model checker, đánh giá các khía cạnh quan trọng, đề xuất hướng nghiên cứu tiếp theo.
Danh mục:
78
2
0