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
Spremljeno u:
| Glavni autor: | |
|---|---|
| Jezik: | vie |
| Izdano: |
Đại học Đà Nẵng
2012
|
| Online pristup: | https://dlib.udn.vn/module/chi-tiet-sach?RecordID=3872 |
| Oznake: |
Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!
|
| 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 |
|---|