Publisher
Springer International Publishing
Reference26 articles.
1. ASCENS: ASCENS - Autonomic Service-Component Ensembles (2012). http://www.ascens-ist.eu/
2. Avizienis, A., Laprie, J., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secure Comput. 1(1), 11–33 (2004)
3. Benkhoff, J.: BepiColombo: overview and latest updates. In: European Planetary Science Congress. EPSC Abstracts, p. 7 (2012)
4. Cheng, B., Atlee, J.: Research directions in requirements engineering. In: Proceedings of the 2007 Conference on Future of Software Engineering (FOSE 2007), pp. 285–303. IEEE Computer Society (2007)
5. ESA: BepiColombo mercury mission to be launched in 2015 (2012). http://sci.esa.int/science-e/www/object/index.cfm?fobjectid=50105
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A conceptual perspective on interoperability in context-aware software systems;Information and Software Technology;2019-10
2. Rigorous Engineering of Collective Adaptive Systems Track Introduction;Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques;2016