Publisher
Springer International Publishing
Reference11 articles.
1. Chapurlat, V., Nastov, B.: Deploying MBSE in SME context: revisiting and equipping digital mock-up. In: 2020 IEEE International Symposium on Systems Engineering (ISSE), pp. 1–8 (2020). https://doi.org/10.1109/ISSE49799.2020.9272230
2. Larsen, P.G., et al.: A cloud-based collaboration platform for model-based design of cyber-physical systems. In: Proceedings of the 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, INSTICC, vol. 1, pp. 263–270. SIMULTECH (2020). https://doi.org/10.5220/0009892802630270
3. HUBCAP Project. https://www.hubcap.eu/. Accessed 07 Oct 2021
4. DIGITbrain Project. https://digitbrain.eu/. Accessed 07 Oct 2021
5. Kulik, T., et al.: Extending the formal security analysis of the HUBCAP sandbox. In: Macedo, H.D., Thule, C., Pierce, K. (eds.) Proceedings of the 19th International Overture Workshop, 1 October 2021, p. 36 (2021). https://arxiv.org/abs/2110.09371
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献