Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. S. B. Akers, “Binary Decision Diagrams,” IEEE Trans. on Computers, Vol. C-27, No. 6, pp. 509–516, June 1978.
2. D. Harel, “Statecharts: A visual formalism for complex systems,” Science of Computer Programming, Vol. 8, pp. 231–274, 1987.
3. M. P.E. Heimdahl, Static Analysis of State-Based Requirements: Analysis for Completeness and Consistency, PhD thesis, University of California, Irvine, 1994.
4. M. P.E. Heimdahl, N. G. Leveson, “Completeness and consistency analysis of state-based requirements,” In Proceedings of the 17th Int'l Conf. on Software Engineering, April 1995.
5. C. L. Heitmeyer, B. L. Labaw, D. Kiskis, “Consistency checking of SCR-style requirements specifications,” In Proceedings of the Int'l Symposium on Requirements Engineering, March 1995.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献