Author:
Thomas Donald E.,Moorby Philip R.
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Hybrid Approach to Reverse Engineering on Combinational Circuits;2024 Design, Automation & Test in Europe Conference & Exhibition (DATE);2024-03-25
2. Sequential Logic and State Machines;Electrical, Electronics, and Digital Hardware Essentials for Scientists and Engineers;2013-02-21
3. The hidden models of model checking;Software & Systems Modeling;2012-08-24
4. Palovca: Describing and Executing Graph Algorithms in Haskell;Practical Aspects of Declarative Languages;2012
5. A Model-Driven Design Framework for Massively Parallel Embedded Systems;ACM Transactions on Embedded Computing Systems;2011-11