Author:
Jackson Ethan K.,Seifert Dirk,Dahlweid Markus,Santen Thomas,Bjørner Nikolaj,Schulte Wolfram
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Jackson, M., Zave, P.: Domain descriptions. In: Proceedings of IEEE International Symposium Requirements Engineering (RE), pp. 56–64 (January 1993)
2. Pinto, A., Bonivento, A., Sangiovanni-Vincentelli, A.L., Passerone, R., Sgroi, M.: System level design paradigms: Platform-based design and communication synthesis. ACM Trans. Design Autom. Electr. Syst. 11(3), 537–563 (2006)
3. Karsai, G., Sztipanovits, J., Lédeczi, Á., Bapty, T.: Model-integrated development of embedded software. Proceedings of the IEEE 91(1), 145–164 (2003)
4. Lee, E.A., Xiong, Y.: A behavioral type system and its application in Ptolemy II. Formal Asp. Comput. 16(3), 210–237 (2004)
5. Henzinger, T.A., Sifakis, J.: The Embedded Systems Design Challenge. In: Proceedings of the International Symposium on Formal Methods (FM), pp. 1–15 (2006)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献