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
محفوظ في:
| المؤلف الرئيسي: | Phạm Thị Thái, Ninh |
|---|---|
| مؤلفون آخرون: | TS. Huỳnh Quyết, Thắng |
| التنسيق: | أطروحة |
| اللغة: | Vietnamese |
| منشور في: |
Đại học Bách khoa Hà Nội
2018
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32817 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| Thư viện lưu trữ: | Trường Đại học Sư phạm - Đại học Đà Nẵng |
|---|
مواد مشابهة
-
Kiểm tra mô hình phần mềm sử dụng lý thuyết ÔTÔMAT BUCHI và LOGIC thời gian tuyến tính
بواسطة: Phan Thị Thái, Ninh
منشور في: (2018) -
Ứng dụng logic mờ tìm vị trí đặt tụ bù tối ưu trong lưới điện phân phối trung áp
بواسطة: Đặng, Việt Hùng, وآخرون
منشور في: (2024) -
Mô phỏng một bài kiểm tra thích nghi trên máy tính thông qua phần mềm R
بواسطة: Nguyễn, Quỳnh Giang, وآخرون
منشور في: (2024) -
Kiểm chứng đặc tả bảo mật phần mềm
بواسطة: Trương, Ninh Thuận, وآخرون
منشور في: (2015) -
Logic mờ ứng dụng logic mờ giải bài toán điều khiển đèn giao thông
منشور في: (2011)