An ontology for Mobile Agents in the context of formal verification

• Grant number: 05/02769-3
• Support Opportunities: Research Grants - Meeting - Abroad
• Start date: October 31, 2005
• End date: November 04, 2005
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Computing Methodologies and Techniques
• Principal Investigator: Ana Cristina Vieira de Melo
• Grantee: Ana Cristina Vieira de Melo
• Host Institution: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brazil