Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2001
Guareis de Farias, C.R. and Ferreira Pires, L. and Lopes de Souza, W. and Moron, C.M.
(2001)
Specification and Validation of a Real-Time Parallel Kernel Using LOTOS.
In: 9th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2001), 15-18 Aug 2001, Cincinatti, Ohio, U.S.A..
pp. 7-14.
IEEE Computer Society.
ISBN 0-7695-1315-8
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||