Subject
General Computer Science,Theoretical Computer Science
Reference45 articles.
1. Testing software design modelled by finite state machines;Chow;IEEE Transactions on Software Engineering,1978
2. F.C. Hennie, Fault-detecting experiments for sequential circuits, in: Proceedings of Fifth Annual Symposium on Switching Circuit Theory and Logical Design, Princeton, NJ, 1964, pp. 95–110.
3. Gedanken-experiments;Moore,1956
4. Testing from partial deterministic FSM specifications;Petrenko;IEEE Transactions on Computers,2005
5. Automata, Languages and Machines, Vol.~A;Eilenberg,1974
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献