Author:
Caban Dariusz,Walkowiak Tomasz
Publisher
Springer International Publishing
Reference8 articles.
1. Anderson, P., Herry, H.: A formal semantics for the SmartFrog configuration language. J. Netw. Syst. Manag. 24(2), 309–345 (2016)
2. Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secur. Comput. 1, 11–33 (2004)
3. Barlow, R.E., Heidtmann, K.D.: Computing k-out-of-n system reliability. IEEE Trans. Reliab. R-33, 322–323 (1984)
4. Caban, D., Walkowiak, T.: Specification of constraints in a system-of-systems configuration. In: Zamojski, W., et al. (eds.) Advances in Dependability Engineering of Complex Systems. Advances in Intelligent Systems and Computing, vol. 582, pp. 89–96. Springer, Cham (2018)
5. Delaet, T., Anderson, P., Joosen, W.: Managing real-world system configurations with constraints. In: Proceedings of the Seventh International Conference on Networking, pp. 594–601 (2008)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献