Case Study: Formal Verification and Modeling of a Hospital Emergency Department [Caso de Estudo: Modelação e Verificação Formal de Um Serviço de Urgência Hospitalar]
AuthID
P-00A-84V
P-00A-84V
© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service