Validação de sistemas de controle e automação na Indústria do Petróleo e Gás utilizando métodos de teste, verificação e síntese de programas Disculpa, pero esta entrada está disponible sólo en Portugués De Brasil.