Login / Signup

A Minimized Assumption Generation Method for Component-Based Software Verification.

Pham Ngoc HungViet Ha NguyenToshiaki AokiTakuya Katayama
Published in: IEICE Trans. Inf. Syst. (2010)
Keyphrases
  • generation method
  • feature generation
  • database
  • real world
  • neural network
  • multiscale
  • lower bound
  • special case
  • hidden markov models
  • mobile robot
  • independence assumption