Projetos de Cooperação

 

PLATUS - Desenvolvimento Formal e Simulação de Sistemas Reativos

ForMOS - Formal Methods for Code Mobility in Open Systems

IQ-Mobile - Improving the Quality of Open Systems with Code Mobility Through Rigorous Development

 

Entidades envolvidas

cnpq.gif (1673 bytes) Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) - Brazil
fapergs.gif (2756 bytes) Fundação de Amparo à Pesquisa do Rio Grande do Sul (FAPERGS) - Brazil
Cnrlogo36.gif (1606 bytes) Istituto di Elaborazione dell'Informazioni (IEI) - Consiglio Nazionale delle Ricerche (CNR) - Italy
facin.gif (12152 bytes) Faculdade de Informática (FACIN) - Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS) - Brazil
logo.jpg (2159 bytes) Instituto de Informática (II) - Universidade Federal do Rio Grande do Sul (UFRGS) - Brazil
lasid.gif (3335 bytes) Laboratório de Sistemas Distribuídos (LASiD) - Universidade Federal da Bahia (UFBA) - Brazil
front2.gif (33076 bytes)

Dipartimento di Informatica (DI) - Università di Pisa (UNIPI) - Italy