Login / Signup

On Locally Minimum and Strongest Assumption Generation Method for Component-Based Software Verification.

Hoang-Viet TranPham Ngoc HungViet Ha Nguyen
Published in: IEICE Trans. Inf. Syst. (2019)
Keyphrases
  • generation method
  • feature generation
  • data mining
  • cooperative
  • mobile robot
  • minimum cost
  • data sets
  • machine learning
  • artificial intelligence
  • database systems
  • multi agent
  • universal relation