Subject
General Computer Science,Theoretical Computer Science
Reference32 articles.
1. Formal black box testing for partially specified deterministic finite state machines;Bălănescu;Foundations of Computing and Decision Systems,2003
2. The Wp method for partially specified deterministic finite state machines;Bălănescu;Annals of Bucharest University: Computer Science,2004
3. A. Biere, A. Cimatti, E.M. Clarke, Y. Zhu, Symbolic Model Checking without BDDs, in: Proceedings of Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS, 1999, pp. 193–207.
4. Minimal cover automata for finite languages;Campeanu;Theoretical Computer Science,1999
5. Testing software design modeled by finite state machines;Chow;IEEE Transactions on Software Engineering,1978
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献