| Document Date: 2012-09-11 03:08:09
Open Document File Size: 343,63 KBShare Result on Facebook
/ Facility Nguyen Viet Ha University of Engineering / / IndustryTerm learning algorithm / software verification / / Organization Software Verification Pham Ngoc Hung and Nguyen Viet Ha University of Engineering and Technology / / Person Mi Conformance Checking / / Position L* Learner Teacher / L* Teacher / model / / ProgrammingLanguage L / / Technology learning algorithm / L* learning algorithm / improved VC algorithm / 6/11 Improved VC Algorithm / 7/11 L* Learning Algorithm / VC algorithm / /
SocialTag |
L*-Based Learning Models of Evolving Components for Software Verification Pham Ngoc Hung and Nguyen Viet Ha University of Engineering and Technology, VNU {hungpn, hanv}@vnu.edu.vn