Formal methods for industrial critical systems : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
Resource Information
The work Formal methods for industrial critical systems : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings represents a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Work, Language Material, Books, http://bibfra.me/vocab/marc/conference-publication.
The Resource
Formal methods for industrial critical systems : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
Resource Information
The work Formal methods for industrial critical systems : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings represents a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Work, Language Material, Books, http://bibfra.me/vocab/marc/conference-publication.
- Label
- Formal methods for industrial critical systems : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
- Title remainder
- 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
- Statement of responsibility
- Mariëlle Stoelinga, Ralf Pinger (eds.)
- Title variation
- FMICS 2012
- Subject
-
- Computer programs -- Reliability
- Computer programs -- Reliability
- Computer programs -- Reliability -- Congresses
- Computer programs -- Verification
- Computer programs -- Verification
- Computer programs -- Verification -- Congresses
- Computer science.
- Conference papers and proceedings
- Conference papers and proceedings
- Formal methods (Computer science)
- Formal methods (Computer science)
- Formal methods (Computer science) -- Congresses
- Information systems.
- Informatique
- Logic design.
- Software engineering
- Software engineering
- Software engineering -- Congresses
- Software engineering.
- Special Purpose and Application-Based Systems.
- Computer Appl. in Administrative Data Processing.
- Language
- eng
- Summary
- This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012. The 14 papers presented were carefully reviewed and selected from 37 submissions. 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
- Cataloging source
- GW5XE
- Dewey number
- 004.01/51
- Index
- index present
- Language note
- English
- LC call number
- QA76.9.F67
- LC item number
- I58 2012
- Literary form
- non fiction
- Nature of contents
-
- dictionaries
- bibliography
- Series statement
-
- Lecture notes in computer science,
- LNCS sublibrary. SL 2, Programming and software engineering
- Series volume
- 7437
Context
Context of Formal methods for industrial critical systems : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. ProceedingsWork of
No resources found
No enriched resources found
- Formal methods for industrial critical systems : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings, Mariëlle Stoelinga, Ralf Pinger (eds.)
- Formal methods for industrial critical systems : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings, Mariëlle Stoelinga, Ralf Pinger (eds.)
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/GNgm_BBgDR8/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/GNgm_BBgDR8/">Formal methods for industrial critical systems : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Work Formal methods for industrial critical systems : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/GNgm_BBgDR8/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/GNgm_BBgDR8/">Formal methods for industrial critical systems : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>