Formal protocol specification and validation for high speed networks

• Grant number: 94/04144-4
• Support Opportunities: Scholarships in Brazil - Master
• Start date: March 01, 1995
• End date: August 31, 1996
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Computing Methodologies and Techniques
• Principal Investigator: Wanderley Lopes de Souza
• Grantee: Marcos Martins Duma
• Host Institution: Centro de Ciências Exatas e de Tecnologia (CCET). Universidade Federal de São Carlos (UFSCAR). São Carlos , SP, Brazil

Abstract

1994/04144-4 (AU)