Return to search

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

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

Identiferoai:union.ndltd.org:up.pt/oai:repositorio-aberto.up.pt:10216/11466
Date January 2008
CreatorsFaria, José Miguel Sampaio
ContributorsCarvalho, Adriano da Silva, Universidade do Porto. Faculdade de Engenharia
Source SetsUniversidade do Porto
LanguageEnglish
Detected LanguagePortuguese
TypeDissertação
FormatXVI, 123 p., 30 cm, application/pdf, application/pdf, application/pdf, application/pdf
RightsopenAccess
RelationFEUP, SDI, RiFEUP

Page generated in 0.0025 seconds