Interação entre modelos formais para sistemas de supervisão e informação.

Projeto de Cooperação entre o Institut de Recherche Informatique de Toulouse (IRIT - Université Paul Sabatier - França) e UFSC.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Doutorado: (3) . Integrantes: Eliane Pozzebon - Integrante / Guilherme Bittencourt - Coordenador.

2006 - 2008