Verica Radisavljevic-Gajic, John K. J. Li. Software Verification of New Linear and Nonlinear Models of the Arterial System. In 24th International Arab Conference on Information Technology, ACIT 2023, Ajman, United Arab Emirates, December 6-8, 2023. pages 1-6, IEEE, 2023. [doi]
Abstract is missing.