autores José Francisco Creissac Freitas de Campos Macedo, Nuno Oliveira, José Nuno Fonseca Jo?o Martins Fonseca, JM Manuel Alcino Pereira da Cunha Campos, José C. Cunha, Alcino
tem uma área de assunto Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação
palavras-chave formal infrastructure rule specification railML railway engineering railway network model verification