Especificacao Formal e Validacao de um Kernel Paralelo Tempo Real

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined
Title of host publication	16? Proceedings of Simposio Brasileiro de Redes de Computadores
Place of Publication	Rio de Janeiro, Brazil
Publisher	University of Twente
Pages	258-277
Publication status	Published - 20 Feb 1998

Keywords

@inproceedings{1bbd4ac8cc70472a832f52c56a2be2b1,

title = "Especificacao Formal e Validacao de um Kernel Paralelo Tempo Real",

keywords = "METIS-119157",

author = "\{Guareis de farias\}, Cl{\'e}ver and \{de Souza\}, W.L.",

year = "1998",

month = feb,

day = "20",

language = "Undefined",

pages = "258--277",

booktitle = "16? Proceedings of Simposio Brasileiro de Redes de Computadores",

publisher = "University of Twente",

address = "Netherlands",

}