A Certification-Based Modeling Approach of Medical Cyber-Physical Systems: An Insulin Infusion Pump Case Study

e Silva, Lenardo Chaves ; Sobrinho, Alvaro ; Liberato Pereira, Elizieb L. ; de Araujo Oliveira, Helder F. ; da Silva, Leandro Dias ; de Almeida, Hyggo Oliveira ; Perkusich, Angelo ; Lima Silva, Verônica M.

17th International Conference on Information Technology–New Generations (ITNG 2020), p.501-507

Cham: Springer International Publishing

Sem texto completo