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

Autor:	Faria, José Miguel Sampaio
Jazyk:	angličtina
Rok vydání:	2008
Předmět:	Programação de computadores Sistemas operativos Métodos matemáticos Gestão de solicitações
Druh dokumentu:	Dissertação
Popis:	Tese de mestrado. Engenharia Electrotécnica e de Computadores. Faculdade de Engenharia. Universidade do Porto. 208
Databáze:	Networked Digital Library of Theses & Dissertations
Externí odkaz:	http://hdl.handle.net/10216/11466 Zobrazit plný text záznamu