Author:
Johnson Timothy L.,Sutherland Hunt A.,Ingleston Bart,Krogh Bruce H.
Reference37 articles.
1. Abramovici M., M. Breuer, and A. Friedman (1995). Digital Systems Testing and Testable Design, IEEE Press
2. Abraxas Software, Inc. 2004b. CodeCheckTM User's Guide, “C and C++ Source Code Analysis using CodeCheckTM”
3. Abrial J.R., Mussat L., Introducing Dynamic Constraints in B, Lecture Notes in Computer Science 1393, Springer, ISBN 3-540-64405-9
4. Banphawatthanarak, C., B. H. Krogh and K. Butts (1999). Symbolic verification of executable control specifications. Proceedings of the 1999 IEEE Conference on Computer Aided Control System Design, Hawaii, Aug. 22-26
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献