An Investigation Into User Expectations for Formal Verification

Detalhes bibliográficos
Autor(a) principal: Mariana Catarina Pereira Soares
Data de Publicação: 2023
Tipo de documento: Dissertação
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: https://hdl.handle.net/10216/152706
id RCAP_c2637f65ccc3338cd3fc715b75cbf8db
oai_identifier_str oai:repositorio-aberto.up.pt:10216/152706
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 An Investigation Into User Expectations for Formal VerificationEngenharia electrotécnica, electrónica e informáticaElectrical engineering, Electronic engineering, Information engineering2023-07-212023-07-21T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://hdl.handle.net/10216/152706TID:203429419engMariana Catarina Pereira Soaresinfo: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:RCAAP2023-12-22T01:29:11Zoai:repositorio-aberto.up.pt:10216/152706Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T23:50:48.971673Repositó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 An Investigation Into User Expectations for Formal Verification
title An Investigation Into User Expectations for Formal Verification
spellingShingle An Investigation Into User Expectations for Formal Verification
Mariana Catarina Pereira Soares
Engenharia electrotécnica, electrónica e informática
Electrical engineering, Electronic engineering, Information engineering
title_short An Investigation Into User Expectations for Formal Verification
title_full An Investigation Into User Expectations for Formal Verification
title_fullStr An Investigation Into User Expectations for Formal Verification
title_full_unstemmed An Investigation Into User Expectations for Formal Verification
title_sort An Investigation Into User Expectations for Formal Verification
author Mariana Catarina Pereira Soares
author_facet Mariana Catarina Pereira Soares
author_role author
dc.contributor.author.fl_str_mv Mariana Catarina Pereira Soares
dc.subject.por.fl_str_mv Engenharia electrotécnica, electrónica e informática
Electrical engineering, Electronic engineering, Information engineering
topic Engenharia electrotécnica, electrónica e informática
Electrical engineering, Electronic engineering, Information engineering
publishDate 2023
dc.date.none.fl_str_mv 2023-07-21
2023-07-21T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/10216/152706
TID:203429419
url https://hdl.handle.net/10216/152706
identifier_str_mv TID:203429419
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
_version_ 1799135828085047296

Registros relacionados