WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/904088848

Formal Methods for Industrial Critical Systems : 14th International Workshop, FMICS 2009, Eindhoven, the Netherlands, November 2-3, 2009 : Proceedings

This book constitutes the thoroughly refereed post-workshop proceedings of the 13th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2008, held in L'Aquila, Italy, in September 2008 - colocated with ASE 2008, the 23rd International Conference on Automated Software Engineering. The 14 revised full papers presented together with the abstracts of 3 invited presentations and 2 short presentations introducing the panel were carefully selected from 36 initial submissions. The papers strive to promote research and development for the improvement of formal methods and tools for industrial applications. They cover topics such as model checking, testing, software verification, real-time performance, and industrial case studies.

Open All Close All

type

about

http://schema.org/about

alternateName

http://schema.org/alternateName

  • "FMICS 2009"@en
  • "FMICS 2009"
  • "FMICS 2008"
  • "FMICS 2008"@en

author

contributor

creator

description

http://schema.org/description

  • "This book constitutes the thoroughly refereed post-workshop proceedings of the 13th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2008, held in L'Aquila, Italy, in September 2008 - colocated with ASE 2008, the 23rd International Conference on Automated Software Engineering. The 14 revised full papers presented together with the abstracts of 3 invited presentations and 2 short presentations introducing the panel were carefully selected from 36 initial submissions. The papers strive to promote research and development for the improvement of formal methods and tools for industrial applications. They cover topics such as model checking, testing, software verification, real-time performance, and industrial case studies."@en
  • "This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The 10 papers presented were carefully reviewed and selected from 25 submissions. The volume also containswith 4 invited papers and 6 posters. 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. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications."@en

editor

genre

http://schema.org/genre

  • "Eindhoven (2009)"@en
  • "Kongress"@en
  • "Kongress"
  • "Online-Publikation"
  • "Conference papers and proceedings"@en
  • "Conference papers and proceedings"
  • "L'Aquila (2008)"@en
  • "Electronic books"@en
  • "Conference proceedings"
  • "Conference proceedings"@en
  • "Kongress <2009&gt"

name

http://schema.org/name

  • "Formal Methods for Industrial Critical Systems : 14th International Workshop, FMICS 2009, Eindhoven, the Netherlands, November 2-3, 2009 : Proceedings"@en
  • "Formal methods for industrial critical systems 14th international workshop ; proceedings"
  • "Formal methods for industrial critical systems : 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers"@en
  • "Formal methods for industrial critical systems 14th international workshop, FMICS 2009, Eindhoven, the Netherlands, November 2-3, 2009 : proceedings"@en
  • "Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings"
  • "Formal Methods for Industrial Critical Systems"
  • "Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, the Netherlands, November 2-3, 2009. Proceedings"@en
  • "Formal methods for industrial critical systems 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 : proceedings"
  • "Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 ; revised selected papers"
  • "Formal Methods for Industrial Critical Systems : 13th International Workshop, FMICS 2008, L#Aquila, Italy, September 15-16, 2008, Revised Selected Papers"
  • "Formal methods for industrial critical systems : 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 ; proceedings"
  • "Formal Methods for Industrial Critical Systems : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings"
  • "Formal methods for industrial critical systems : 13th international workshop ; revised selected papers"
  • "Formal methods for industrial critical systems"
  • "Formal methods for industrial critical systems"@en
  • "Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings"
  • "Formal methods for industrial critical systems 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers"@en
  • "Formal methods for industrial critical systems 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers"
  • "Formal methods for industrial critical systems : 14th International workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 : proceedings"
  • "Formal Methods for Industrial Critical Systems 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers"
  • "Formal Methods for Industrial Critical Systems 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers"@en

workExample