Autor:	Neto, Paulo Miguel Ferreira
Přispěvatelé:	Sousa, Simão Patricio Melo de
Jazyk:	angličtina
Rok vydání:	2019
Předmět:	Métodos Formais Verificação Formal de Código Design-By-Contract Engenharia e Tecnologia::Engenharia Eletrotécnica Eletrónica e Informática [Domínio/Área Científica] Exomars Análise de Fluxo Sistemas Safety Mission-Critical
Zdroj:	Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) Agência para a Sociedade do Conhecimento (UMIC)-FCT-Sociedade da Informação instacron:RCAAP
Popis:	Made available in DSpace on 2020-03-18T16:28:23Z (GMT). No. of bitstreams: 1 7028_14915.pdf: 1175569 bytes, checksum: fb55b5c70d6631b2992b4dc836754e47 (MD5) Previous issue date: 2019-07-25
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=od______3056::c1a7fbce71fc320a7c312c6d56afda20 Zobrazit plný text záznamu