EEMCS

Guareis de Farias, C.R. and Ferreira Pires, L. and Lopes de Souza, W. and Estevan Moron, C. (2001) Specification and Validation of a Real-Time Parallel Kernel using LOTOS. Technical Report TR-CTIT-01-30, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

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