Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formally Verifying Data and Control with Weak Reachability Invariants;Formal Methods in Computer-Aided Design;1998
2. An instructional laboratory to support microprogramming;IEEE Transactions on Education;1990
3. A Modern Microprogramming Laboratory;The International Journal of Electrical Engineering & Education;1989-10
4. A development environment for horizontal microcode;IEEE Transactions on Software Engineering;1988-05