Formal development of solutions for real-time operating systems with TLA+/TLC

Detalhes bibliográficos
Autor(a) principal: Faria, José Miguel Sampaio
Data de Publicação: 2008
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: http://hdl.handle.net/10216/11466
id RCAP_fa95dcbc8ef3565107942ece912fc618
oai_identifier_str oai:repositorio-aberto.up.pt:10216/11466
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str
spelling Formal development of solutions for real-time operating systems with TLA+/TLCProgramação de computadoresSistemas operativosMétodos matemáticosGestão de solicitações20082008-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfapplication/pdfhttp://hdl.handle.net/10216/11466engFaria, José Miguel Sampaioinfo: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-07-26T14:09:36ZPortal AgregadorONG
dc.title.none.fl_str_mv Formal development of solutions for real-time operating systems with TLA+/TLC
title Formal development of solutions for real-time operating systems with TLA+/TLC
spellingShingle Formal development of solutions for real-time operating systems with TLA+/TLC
Faria, José Miguel Sampaio
Programação de computadores
Sistemas operativos
Métodos matemáticos
Gestão de solicitações
title_short Formal development of solutions for real-time operating systems with TLA+/TLC
title_full Formal development of solutions for real-time operating systems with TLA+/TLC
title_fullStr Formal development of solutions for real-time operating systems with TLA+/TLC
title_full_unstemmed Formal development of solutions for real-time operating systems with TLA+/TLC
title_sort Formal development of solutions for real-time operating systems with TLA+/TLC
author Faria, José Miguel Sampaio
author_facet Faria, José Miguel Sampaio
author_role author
dc.contributor.author.fl_str_mv Faria, José Miguel Sampaio
dc.subject.por.fl_str_mv Programação de computadores
Sistemas operativos
Métodos matemáticos
Gestão de solicitações
topic Programação de computadores
Sistemas operativos
Métodos matemáticos
Gestão de solicitações
publishDate 2008
dc.date.none.fl_str_mv 2008
2008-01-01T00: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 http://hdl.handle.net/10216/11466
url http://hdl.handle.net/10216/11466
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
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
repository.mail.fl_str_mv
_version_ 1777304165477777408

Registros relacionados