MCTI Enviará em Breve ao Canadá Servidor do INPE Envolvido com o Projeto ProtoMIRAX
Olá leitor! No Diário Oficial da União (DOU) de hoje ( 05/02 ) foi publicado um despacho do Ministério da Ciência, Tecnologia e Inovação (MCTI), autorizando o afastamento do país de um servidor do Instituto Nacional de Pesquisas Espaciais (INPE ) para realizar no Canadá o projeto denominado "Verificação Formal de Sistemas Probabilísticos: uma aplicação ao projeto protoMIRAX" . Abaixo segue o despacho como publicado no DOU : Ministério da Ciência, Tecnologia e Inovação DESPACHO DO MINISTRO Em 4 de fevereiro de 2015 Afastamentos do País autorizados na forma do Decreto nº 1.387, de 07 de fevereiro de 1995: VALDIVINO ALEXANDRE DE SANTIAGO JÚNIOR , Tecnologista Sênior III do INPE, realizar o projeto denominado "Verificação Formal de Sistemas Probabilísticos: uma aplicação ao projeto protoMIRAX", o qual envolve investigação e aplicação de model Checking Probabilístico para a análise de desempenho do experimento científico protoMIRAX, especif