Author:
Chiodo Massimiliano,Engels Daniel,Giusto Paolo,Hsieh Harry,Jurecska Attila,Lavagno Luciano,Suzuki Kei,Sangiovanni-Vincentelli Alberto
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Software
Reference21 articles.
1. F. Balarin and A. Sangiovanni-Vincentelli. A verification strategy for timing-constrained systems. In Proceedings of the Fourth Workshop on Computer-Aided Verification, pages 148?163, 1992.
2. G. Berry, P. Couronné, and G. Gonthier. The synchronous approach to reactive and real-time systems. IEEE Proceedings, 79, September 1991.
3. F. Boussinot and R. de Simone. The ESTEREL language. Proceedings of the IEEE, 79(9):1293?1304, September 1991.
4. J. Buck, S. Ha, E.A. Lee, and D.G. Masserschmitt. Ptolemy: a framework for simulating and prototyping heterogeneous systems. Interntional Journal of Computer Simulation, special issue on Simulation Software Development, January 1990.
5. M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, and A. Sangiovanni-Vincentelli. A formal specification model for hardware/software codesign. Technical Report UCB/ERL M93/48, U.C. Berkeley, June 1993.
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献