Você está em: Início > Publicações > Visualização > FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS

Mapa das Instalações

Publicação

FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS

Título

Tipo

Livro de Atas de Conferência Internacional

Data

2008

Título

FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS

Tipo

Livro de Atas de Conferência Internacional

Ano

2008

Conferência Internacional

12th International Workshop on Formal Methods for Industrial Critical Systems

Berlin, GERMANY, JUL 01-02, 2007

Outras Informações

Idioma: Inglês

Tipo (Avaliação Docente): Científica

ISBN: 978-3-540-79706-7

Coleção: Lecture Notes in Computer Science

Vol.: 4916

Documentos

Não foi encontrado nenhum documento associado à publicação.

Publicações Contidas

Artigo em Livro de Atas de Conferência Internacional

Ana C. R. Paiva (Autor) (FEUP); Joao C. P. Faria (Autor) (FEUP); Pedro M. C. Mendes (Autor) (Outra)

2008