Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2001
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
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||