Detalhes do Documento

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

Autor(es): Faria, José Miguel Sampaio

Data: 2008

Identificador Persistente: http://hdl.handle.net/10216/11466

Origem: Repositório Aberto da Universidade do Porto

Assunto(s): Programação de computadores; Sistemas operativos; Métodos matemáticos; Gestão de solicitações


Tipo de Documento Dissertação de mestrado
Idioma Inglês
facebook logo  linkedin logo  twitter logo 
mendeley logo

Documentos Relacionados

Não existem documentos relacionados.