Publisher
Springer International Publishing
Reference24 articles.
1. Beisbart, C., Saam, N.J.: Computer Simulation Validation. Springer, Heidelberg (2019). https://doi.org/10.1007/978-3-319-70766-2
2. Bender, M., et al.: Signature required: making simulink data flow and interfaces explicit. Sci. Comput. Program. 113, 29–50 (2015)
3. Benveniste, A., et al.: Contracts for system design. Found. Trends® Electron. Design Autom. 12(2–3), 124–400 (2018)
4. Biglari, R., Denil, J.: Model validity and tolerance quantification for real-time adaptive approximation. In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, pp. 668–676 (2022)
5. Denil, J., Klikovits, S., Mosterman, P.J., Vallecillo, A., Vangheluwe, H.: The experiment model and validity frame in m &s. In: Proceedings of the Symposium on Theory of Modeling & Simulation, pp. 1–12 (2017)