Funder
National Natural Science Foundation of China
Natural Science Foundation of Jiangsu Province
Fundamental Research Funds for the Central Universities
Publisher
Springer Science and Business Media LLC
Subject
Industrial and Manufacturing Engineering,Mechanical Engineering,Architecture,Civil and Structural Engineering
Reference34 articles.
1. Ahmad W, Qamar U, Hassan S (2015) Analyzing different validation and verification techniques for safety critical software systems. Proceedings of the 6th IEEE international conference on software engineering and service science, Beijing, China, pp 367–370. https://doi.org/10.1109/ICSESS.2015.7339076
2. Barambones J, Imbert R, Moral C (2021) Applicability of multi-agent systems and constrained reasoning for sensor-based distributed scenarios: A systematic mapping study on dynamic DCOPs. Sensors (basel, Switzerland) 21(11):3807. https://doi.org/10.3390/s21113807
3. Barlas Y, Carpenter S (1990) Philosophical roots of model validation: two paradigms. Syst Dyn Rev 6(2):148–166. https://doi.org/10.1002/sdr.4260060203
4. Brazdil P, Gama J, Henery B (1994) Characterizing the applicability of classification algorithms using meta-level learning. In: Bergadano F., De Raedt L. (eds) Machine Learning: ECML-94. Lecture Notes in Computer Science 784. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57868-4_52
5. Brings J, Bohn P, Bandyszak T, Föcker F, Daun M (2016) Model-based prototype development to support early validation of cyber-physical system specifications. Second international workshop on requirements engineering for self-adaptive and cyber-physical systems, Gothenburg, Sweden, pp 1–15
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献