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

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)
• 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)
• 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)
• Logic mờ ứng dụng logic mờ giải bài toán điều khiển đèn giao thông
  Được phát hành: (2011)