Specification and validation of a real-time parallel kernel using lotos.

• Grant number: 01/06152-0
• Support Opportunities: Research Grants - Meeting - Abroad
• Start date: August 15, 2001
• End date: August 18, 2001
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Computing Methodologies and Techniques
• Principal Investigator: Wanderley Lopes de Souza
• Grantee: Wanderley Lopes de Souza
• Host Institution: Centro de Ciências Exatas e de Tecnologia (CCET). Universidade Federal de São Carlos (UFSCAR). São Carlos , SP, Brazil