Samir Ouchani, Moez Krichen. Ensuring the Correctness and Well Modeling of Intelligent Healthcare Management Systems. In Mohamed Jmaiel, Mounir Mokhtari, Bessam Abdulrazak, Hamdi Aloulou, Slim Kallel, editors, The Impact of Digital Technologies on Public Health in Developed and Developing Countries - 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceedings. Volume 12157 of Lecture Notes in Computer Science, pages 364-372, Springer, 2020. [doi]
Abstract is missing.