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

Clver Ricardo Guareis de Farias, Lus Ferreira Pires, Wanderley Lopes de Souza, Clio Estevan Morn

Browse the full MASCOTS paper archive.