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
Đã lưu trong:
Tác giả chính: | Phạm Thị Thái, Ninh |
---|---|
Tác giả khác: | TS. Huỳnh Quyết, Thắng |
Định dạng: | Luận văn |
Ngôn ngữ: | Vietnamese |
Được phát hành: |
Đại học Bách khoa Hà Nội
2018
|
Những chủ đề: | |
Truy cập trực tuyến: | http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32817 |
Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
Thư viện lưu trữ: | Trung tâm Học liệu và E-Learning, Trường Đại học Sư phạm – Đại học Đà Nẵng |
---|
Những quyển sách tương tự
-
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
Bỡi: Phan Thị Thái, Ninh
Được phát hành: (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
Bỡi: Đặng, Việt Hùng, et al.
Được phát hành: (2024) -
Kiểm chứng đặc tả bảo mật phần mềm
Bỡi: Trương, Ninh Thuận, et al.
Được phát hành: (2015) -
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
Bỡi: Nguyễn, Quỳnh Giang, et al.
Được phát hành: (2024) -
Thực hiện mô hình bù công suất phản kháng
Bỡi: Nguyễn, Minh Hiếu
Được phát hành: (2019)