Author:
Caspi P.,Benveniste A.,Lublinerman R.,Tripakis S.
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Full version of this paper available as technical report TR-2008-6, http://www-verimag.imag.fr/index.php?page=techrep-list
2. Basu, A., Bozga, M., Sifakis, J.: Modeling Heterogeneous Real-time Components in BIP. In: SEFM 2006, pp. 3–12 (2006)
3. Benveniste, A., Berry, G.: The synchronous approach to reactive and real-time systems. IEEE Proceedings 79, 1270–1282 (1991)
4. Benveniste, A., Caillaud, B., Carloni, L.P., Caspi, P., Sangiovanni-Vincentelli, A.L.: Composing heterogeneous reactive systems. ACM Trans. Embedded Comput. Syst. 7(4) (2008)
5. Berry, G., Sentovich, E.: An implementation of constructive synchronous programs in polis. Formal Methods in System Design 17, 135–161 (2000)
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献