Kiểm tra mô hình phần mềm sử dụng lý thuyết MôTôMat BuChi và Logic thời gian tuyến tính
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Médium: | Diplomová práce |
| Jazyk: | Vietnamese |
| Vydáno: |
Đại học Bách khoa Hà Nội
2018
|
| Témata: | |
| On-line přístup: | http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32817 |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|
| Thư viện lưu trữ: | Trường Đại học Sư phạm - Đại học Đà Nẵng |
|---|