Article In: orcid

Caso de Estudo: Modelação e Verificação Formal de um Serviço de Urgência Hospitalar

Santos, Carlos; Ferreira, Carla; Tribolet, José

Key information

Authors:

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

Publication details

Authors in the community:

Fields of Science and Technology (FOS)

computer-and-information-sciences - Computer and information sciences

Publication language (ISO code)

por - Portuguese

Rights type:

Only metadata available