Login / Signup

MAFSE: A Model-Based Framework for Software Verification.

Tho T. QuanDuc L. N. HoangB. Tam T. NguyenAn N. NguyenQuan D. TranPhung H. NguyenThang H. BuiAnh T. DoLinh V. HuynhNam T. DoanNguyen T. HuynhThien D. NguyenBinh T. T. NguyenVu H. Nguyen
Published in: SSIRI (Companion) (2010)
Keyphrases
  • machine learning
  • computational framework
  • real world
  • web pages
  • image sequences
  • wide range
  • search algorithm
  • probabilistic model
  • main contribution
  • theoretical foundation
  • conceptual framework
  • framework enables