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

Mapa das Instalações

Publicação

Publicações

FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS

Título

Tipo

Livro de Atas de Conferência Internacional

Data

2009

Título

FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS

Tipo

Livro de Atas de Conferência Internacional

Ano

2009

Conferência Internacional

14th International Workshop on Formal Methods for Industrial Critical Systems

Eindhoven, NETHERLANDS, NOV 02-03, 2009

Outras Informações

Idioma: Inglês

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

ISBN: 978-3-642-04569-1

ISBN Eletrónico: 978-3-642-04570-7

Coleção: Lecture Notes in Computer Science

Vol.: 5825

Documentos

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

Publicações Contidas

Artigo em Livro de Atas de Conferência Internacional

Almeida, JB (Autor) (Outra); Barbosa, M (Autor) (Outra); Pinto, JS (Autor) (Outra); Vieira, B (Autor) (Outra)

2009