Document details

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

Author(s): Faria, José Miguel Sampaio

Date: 2008

Origin: Repositório Aberto da Universidade do Porto

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


Description

Tese de mestrado. Engenharia Electrotécnica e de Computadores. Faculdade de Engenharia. Universidade do Porto. 208

Document Type Master thesis
Language English
Contributor(s) Carvalho, Adriano da Silva; Universidade do Porto. Faculdade de Engenharia
facebook logo  linkedin logo  twitter logo 
mendeley logo

Related documents

No related documents