Artigo De: orcid

Modelação e Verificação Formal de Processos de Negócio em Ambiente Hospitalar

Santos, Carlos; Ferreira, Carla; Tribolet, Jos'e

Informações chave

Autores:

Santos, Carlos; Ferreira, Carla; Tribolet, Jos'e (José Manuel Nunes Salvador Tribolet)

Detalhes da publicação

Autores da comunidade :

Domínio Científico (FOS)

computer-and-information-sciences - Ciências da Computação e da Informação

Idioma da publicação (código ISO)

por - Português

Acesso à publicação:

Acesso apenas a metadados