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

Podobne zapisy

• 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
  od: Phan Thị Thái, Ninh
  Wydane: (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
  od: Đặng, Việt Hùng, i wsp.
  Wydane: (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
  od: Nguyễn, Quỳnh Giang, i wsp.
  Wydane: (2024)
• Kiểm chứng đặc tả bảo mật phần mềm
  od: Trương, Ninh Thuận, i wsp.
  Wydane: (2015)
• Logic mờ ứng dụng logic mờ giải bài toán điều khiển đèn giao thông
  Wydane: (2011)