PRAXIS/2/2.1/MAT/46/94 [II]
Nível de descrição
Unidade de instalação
Código de referência
PT/FCT/FCT/DPP/001/1253
Tipo de título
Atribuído
Título
PRAXIS/2/2.1/MAT/46/94 [II]
Datas de produção
1997
a
2005
Dimensão e suporte
0,32 x 0,09 - Papel A4
Extensões
0,09 Metros linear
Âmbito e conteúdo
Contém 1 processo de financiamento, no âmbito do Programa PRAXIS XXI - Medida 2, Acção 2.1 (Programas Estruturantes para o Desenvolvimento da Base do Sistema de C&T), do seguinte projecto:Projecto "Especificações Executáveis e Verificáveis de Sistemas Concorrentes: Linguagens e Modelos (ESCOLA)" (PRAXIS/2/2.1/MAT/46/94), proposto pela Faculdadde de Ciências e Tecnologia da Universidade Nova de Lisboa e executado pelo Departamento de Informática da Faculdadde de Ciências e Tecnologia da Universidade Nova de Lisboa, com a participação do Instituto de Engenharia de Sistemas e Computadores, do Departamento de Matemática da Faculdade de Ciências da Universidade de Lisboa, do Departamento de Matemática da Faculdade de Ciências e Tecnologia da Universidade de Coimbra e do Departamento de Engenharia Electrotécnica e de Computadores da Faculdade de Engenharia da Universidade do Porto. Investigador responsável: Luís Lopes Monteiro.
Localização física
| PT/FCT/ACT-ÁREA A/09/04/2 |
Cota descritiva
A.09.04.2
Cota original
005335
Idioma e escrita
por (português) e eng (inglês).
Características físicas e requisitos técnicos
Regular
Unidades de descrição relacionadas
Relação sucessora: PBIC/PP/1629/93.