Author:
Susanto Kong Woei,Melham Tom
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Aagaard, M.D., Jones, R.B., Seger, C.-J.H.: Combining Theorem Proving and Trajectory Evaluation in an Industrial Environment. In: The 35th Design Automation Conference, San Francisco, California, June 1998, pp. 538–541 (1998)
2. ARM, ARM-7 Datasheet, DDI 0020C (December 1994)
3. ARM, AMBA specification ver 2.0, IHI-0011A (May 1999)
4. Birnbaum, M., Sachs, H.: How VSIA Answers the SOC Dilemma. In: IEEE Computer magazine, June 1999, pp. 42–50 (1999)
5. Lecture Notes in Computer Science;A.J. Camilleri,1997
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献