Citation to this article as recorded by
Survey on learning-based formal methods: Taxonomy, Applications and Possible future directions IEEE Access |
How to cite this article
Xiao Jianyu and DAI Jingguo, 2012. Specifications Mining Based on Adjusted Automata Learning Algorithm. Information Technology Journal, 11: 1391-1399.
DOI: 10.3923/itj.2012.1391.1399
URL: https://scialert.net/abstract/?doi=itj.2012.1391.1399
DOI: 10.3923/itj.2012.1391.1399
URL: https://scialert.net/abstract/?doi=itj.2012.1391.1399