Author:
Kouchnarenko Olga,Weber Jean-François
Subject
Signal Processing,Control and Systems Engineering,Software
Reference24 articles.
1. De Lemos, R., Giese, H., Müller, H.A., Shaw, M., Andersson, J., Litoiu, M., Schmerl, B., Tamura, G., Villegas, N.M., Vogel, T., et al., Software engineering for self-adaptive systems: A second research roadmap, in Software Engineering for Self-Adaptive Systems II, Springer, 2013, pp. 1–32.
2. Lanoix, A., Dormoy, J., and Kouchnarenko, O., Combining proof and model-checking to validate reconfigurable architectures, Electron. Notes Theor. Comput. Sci., 2011, vol. 279, pp. 43–57.
3. Dijkstra, E.W., Guarded commands, nondeterminacy and formal derivation of programs, Commun. ACM, 1975, vol. 18, pp. 453–457.
4. Ghamarian, A.H., de Mol, M., Rensink, A., Zambon, E., and Zimakova, M., Modelling and analysis using GROOVE, Int. J. Software Tools Technol. Transfer, 2012, vol. 14, pp. 15–40.
5. Bruneton, E., Coupaye, T., Leclercq, M., Quema, V., and Stefani, J.B., The fractal component model and its support in java, Software: Pract. Exper., 2006, vol. 36, pp. 1257–1284.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献