Nghiên cứu ứng dụng công cụ satan để phân tích khả năng kiểm thử phần mềm cho các thiết kế trên môi trường simulink
Enregistré dans:
| Auteur principal: | |
|---|---|
| Langue: | vie |
| Publié: |
Đại học Đà Nẵng
2012
|
| Accès en ligne: | https://dlib.udn.vn/module/chi-tiet-sach?RecordID=3872 |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| Thư viện lưu trữ: | Trung tâm Công nghệ thông tin và Học liệu số, Đại học Đà Nẵng |
|---|