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
3
Author(s)
Tribolet, J
1
Editor(es)
Rocha A.Cunha M.M.
Tipo de Documento
Proceedings Paper
Year published
2006
Publicado
in CISTI 2006 - Actas da 1a Conferencia Iberica de Sistemas e Tecnologias de Informacao
Volume: 1, Páginas: 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
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-84923918529
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.