Author:
El Ballouli Rim,Bensalem Saddek,Bozga Marius,Sifakis Joseph
Publisher
Springer International Publishing
Reference22 articles.
1. Lecture Notes in Computer Science;R Allen,1998
2. Attie, P., Baranov, E., Bliudze, S., Jaber, M., Sifakis, J.: A general framework for architecture composability. Form. Asp. Comput. 28(2), 207–231 (2016)
3. Basu, A., et al.: Rigorous component-based system design using the BIP framework. IEEE Softw. 28(3), 41–48 (2011)
4. Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time systems in BIP. In: SEFM 2006 Proceedings, pp. 3–12. IEEE Computer Society Press (2006)
5. Bergenhem, C.: Approaches for facilities layer protocols for platooning. In: 2015 IEEE 18th International Conference on Intelligent Transportation Systems (ITSC), pp. 1989–1994. IEEE (2015)
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献