Author:
Chen Xi,Hsieh Harry,Balarin Felice
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Theoretical Computer Science,Software
Reference15 articles.
1. Keutzer K., Malik S., Newton A.R., Rabaey J., Sangiovanni-Vincentelli A. (December 2000). System Level Design: Orthogonalization of Concerns and Platform-based Design. IEEE Trans, Computer-Aided Design. 19(12):1523–1543
2. Balarin F., Watanabe Y., Hsieh H., Lavagno L., Passerone C., Sangiovanni-Vincentelli A. (April 2003). Metropolis: An Integrated Electronic System Design Environment. IEEE Comput 36(4):45–52
3. P. Godefroid and G. J. Holzmann, On the Verification of Temporal Properties, Proceedings of IFIP/WG6.1 Symposium on Protocols Specification, Testing, and Verification (June 1993).
4. F. Balarin, Y. Watanabe, J. Burch, L. Lavagno, R. Passerone, and A. Sangiovanni-Vincentelli, Constraints Specification at Higher Levels of Abstraction, Proceedings of International Workshop on High Level Design Validation and Test (November 2001).
5. Holzmann G.J. (May 1997). The Model Checker Spin. IEEE Trans. Software Eng. 23(5):279–258
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献