Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings

Mariëlle Stoelinga (Editor), Ralf Pinger (Editor)

Research output: Book/ReportBook editingAcademic

98 Downloads (Pure)

Abstract

This volume contains the papers presented at FMICS 2012, the 17th International Workshop on Formal Methods for Industrial Critical Systems, taking place August 27–28, 2012, in Paris, France. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers that are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS workshop series also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
Original languageEnglish
Place of PublicationLondon
PublisherSpringer
Number of pages221
ISBN (Electronic)978-3-642-32469-7
ISBN (Print)978-3-642-32468-0
DOIs
Publication statusPublished - Aug 2012

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
Volume7437
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fingerprint

research and development
method
industry

Keywords

  • METIS-293264
  • EWI-22727

Cite this

@book{e5f94a545d1b476c8feaab2d1fad7699,
title = "Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings",
abstract = "This volume contains the papers presented at FMICS 2012, the 17th International Workshop on Formal Methods for Industrial Critical Systems, taking place August 27–28, 2012, in Paris, France. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers that are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS workshop series also strives to promote research and development for the improvement of formal methods and tools for industrial applications.",
keywords = "METIS-293264, EWI-22727",
editor = "Mari{\"e}lle Stoelinga and Ralf Pinger",
year = "2012",
month = "8",
doi = "10.1007/978-3-642-32469-7",
language = "English",
isbn = "978-3-642-32468-0",
series = "Lecture Notes in Computer Science",
publisher = "Springer",

}

Formal Methods for Industrial Critical Systems : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings. / Stoelinga, Mariëlle (Editor); Pinger, Ralf (Editor).

London : Springer, 2012. 221 p. (Lecture Notes in Computer Science; Vol. 7437).

Research output: Book/ReportBook editingAcademic

TY - BOOK

T1 - Formal Methods for Industrial Critical Systems

T2 - 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings

A2 - Stoelinga, Mariëlle

A2 - Pinger, Ralf

PY - 2012/8

Y1 - 2012/8

N2 - This volume contains the papers presented at FMICS 2012, the 17th International Workshop on Formal Methods for Industrial Critical Systems, taking place August 27–28, 2012, in Paris, France. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers that are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS workshop series also strives to promote research and development for the improvement of formal methods and tools for industrial applications.

AB - This volume contains the papers presented at FMICS 2012, the 17th International Workshop on Formal Methods for Industrial Critical Systems, taking place August 27–28, 2012, in Paris, France. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers that are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS workshop series also strives to promote research and development for the improvement of formal methods and tools for industrial applications.

KW - METIS-293264

KW - EWI-22727

U2 - 10.1007/978-3-642-32469-7

DO - 10.1007/978-3-642-32469-7

M3 - Book editing

SN - 978-3-642-32468-0

T3 - Lecture Notes in Computer Science

BT - Formal Methods for Industrial Critical Systems

PB - Springer

CY - London

ER -