Sciweavers

MASCOTS
2001

Specification and Validation of a Real-Time Parallel Kernel Using LOTOS

14 years 27 days ago
Specification and Validation of a Real-Time Parallel Kernel Using LOTOS
Cléver Ricardo Guareis de Farias, Luí
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2001
Where MASCOTS
Authors Cléver Ricardo Guareis de Farias, Luís Ferreira Pires, Wanderley Lopes de Souza, Célio Estevan Morón
Comments (0)