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]
in CISTI 2006 - Actas da 1a Conferencia Iberica de Sistemas e Tecnologias de Informacao
Volume: 1, Pages: 711-726
Conference
1A Conferencia Iberica de Sistemas e Tecnologias de Informacao, Cisti 2006 - 1St Iberian Conference on Information Systems and Technologies, Cisti 2006, Date: 21 June 2006 through 23 June 2006
