- -

Formal methods for industrial critical systems, preface to the special section

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

Formal methods for industrial critical systems, preface to the special section

Mostrar el registro completo del ítem

Alpuente Frasnedo, M.; Joubert ., C.; Kowalewski, S.; Roveri, M. (2013). Formal methods for industrial critical systems, preface to the special section. Science of Computer Programming. 78(7):775-777. doi:10.1016/j.scico.2012.05.005.

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/37480

Ficheros en el ítem

Metadatos del ítem

Título: Formal methods for industrial critical systems, preface to the special section
Autor:
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha difusión:
Resumen:
This special issue contains improved versions of selected papers from the workshops on Formal Methods for Industrial Critical Systems (FMICS) held in Eindhoven, The Netherlands, in November 2009 and in Antwerp, Belgium, ...[+]
Derechos de uso: Reserva de todos los derechos
Fuente:
Science of Computer Programming. (issn: 0167-6423 )
DOI: 10.1016/j.scico.2012.05.005
Editorial:
Elsevier
Versión del editor: http://dx.doi.org/10.1016/j.scico.2012.05.005
Patrocinador:
FEDER and the Spanish MEC [TIN2010-21062-C02-02]
MICINN INNCORPORA-PTQ program
Generalitat Valenciana, [PROMETEO2011/052]
Tipo: Artículo

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem