Author:
Benveniste Albert,Caillaud Benoît,Ferrari Alberto,Mangeruca Leonardo,Passerone Roberto,Sofronis Christos
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Damm, W.: Embedded system development for automotive applications: trends and challenges. In: Proceedings of the 6 th ACM & IEEE International conference on Embedded software (EMSOFT 2006), Seoul, Korea, October 22–25 (2006)
2. Butz, H.: The Airbus approach to open Integrated Modular Avionics (IMA): technology, functions, industrial processes and future development road map. In: International Workshop on Aircraft System Technologies, Hamburg (March 2007)
3. Sangiovanni-Vincentelli, A.: Reasoning about the trends and challenges of system level design. Proc. of the IEEE 95(3), 467–506 (2007)
4. Damm, W.: Controlling speculative design processes using rich component models. In: Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), St. Malo, France, June 6–9, pp. 118–119 (2005)
5. Meyer, B.: Applying ”design by contract”. IEEE Computer 25(10), 40–51 (1992)
Cited by
124 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献