Automated theorem proving for the systematic analysis of an infusion pump

Detalhes bibliográficos
Autor(a) principal: Michael Douglas Harrison
Data de Publicação: 2013
Outros Autores: Paolo Masci, José Creissac Campos, Curzon,P
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://repositorio.inesctec.pt/handle/123456789/4598
id RCAP_33e23f8b6da265c8e91ac684a4b0a78e
oai_identifier_str oai:repositorio.inesctec.pt:123456789/4598
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Automated theorem proving for the systematic analysis of an infusion pump2017-12-21T11:04:09Z2013-01-01T00:00:00Z2013info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://repositorio.inesctec.pt/handle/123456789/4598engMichael Douglas HarrisonPaolo MasciJosé Creissac CamposCurzon,Pinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2024-10-12T02:20:27Zoai:repositorio.inesctec.pt:123456789/4598Portal AgregadorONGhttps://www.rcaap.pt/oai/openairemluisa.alvim@gmail.comopendoar:71602024-10-12T02:20:27Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Automated theorem proving for the systematic analysis of an infusion pump
title Automated theorem proving for the systematic analysis of an infusion pump
spellingShingle Automated theorem proving for the systematic analysis of an infusion pump
Michael Douglas Harrison
title_short Automated theorem proving for the systematic analysis of an infusion pump
title_full Automated theorem proving for the systematic analysis of an infusion pump
title_fullStr Automated theorem proving for the systematic analysis of an infusion pump
title_full_unstemmed Automated theorem proving for the systematic analysis of an infusion pump
title_sort Automated theorem proving for the systematic analysis of an infusion pump
author Michael Douglas Harrison
author_facet Michael Douglas Harrison
Paolo Masci
José Creissac Campos
Curzon,P
author_role author
author2 Paolo Masci
José Creissac Campos
Curzon,P
author2_role author
author
author
dc.contributor.author.fl_str_mv Michael Douglas Harrison
Paolo Masci
José Creissac Campos
Curzon,P
publishDate 2013
dc.date.none.fl_str_mv 2013-01-01T00:00:00Z
2013
2017-12-21T11:04:09Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://repositorio.inesctec.pt/handle/123456789/4598
url http://repositorio.inesctec.pt/handle/123456789/4598
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv 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
repository.mail.fl_str_mv mluisa.alvim@gmail.com
_version_ 1817548583119880192