- -

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

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

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

Show full item record

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

Files in this item

Item Metadata

Title: Formal methods for industrial critical systems, preface to the special section
Author: Alpuente Frasnedo, María Joubert ., Christophe Kowalewski, S. Roveri, M.
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Issued date:
Abstract:
[EN] 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, ...[+]
Copyrigths: Reserva de todos los derechos
Source:
Science of Computer Programming. (issn: 0167-6423 )
DOI: 10.1016/j.scico.2012.05.005
Publisher:
Elsevier
Publisher version: http://dx.doi.org/10.1016/j.scico.2012.05.005
Thanks:
his work has been partially supported by the EU (FEDER) and the Spanish MEC TIN2010-21062-C02-02 project, MICINN INNCORPORA-PTQ program, and by Generalitat Valenciana, ref. PROMETEO2011/052.
Type: Artículo

This item appears in the following Collection(s)

Show full item record