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

researchr

You are not signed in
Sign in
Sign up

Cléver Ricardo Guareis de Farias, Luís Ferreira Pires, Wanderley Lopes de Souza, Célio Estevan Morón. Specification and Validation of a Real-Time Parallel Kernel Using LOTOS. In 9th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2001), 15-18 August 2001, Cincinnati, OH, USA. pages 7-14, IEEE Computer Society, 2001. [doi]

This author has not been identified. Look up 'Cléver Ricardo Guareis de Farias' in GoogleThis author has not been identified. Look up 'Luís Ferreira Pires' in GoogleThis author has not been identified. Look up 'Wanderley Lopes de Souza' in GoogleThis author has not been identified. Look up 'Célio Estevan Morón' in Google

runs on WebDSL