Coverart for item
The Resource Formal methods for industrial critical systems : 16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings, Gwen Salaün, Bernhard Schätz (eds.), (electronic resource)

Formal methods for industrial critical systems : 16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings, Gwen Salaün, Bernhard Schätz (eds.), (electronic resource)

Label
Formal methods for industrial critical systems : 16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings
Title
Formal methods for industrial critical systems
Title remainder
16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings
Statement of responsibility
Gwen Salaün, Bernhard Schätz (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
Annotation:
Cataloging source
DLC
LC call number
QA76.9.F67
LC item number
I594 2011
http://bibfra.me/vocab/lite/meetingDate
2011
http://bibfra.me/vocab/lite/meetingName
International Workshop on Formal Methods for Industrial Critical Systems
http://library.link/vocab/relatedWorkOrContributorName
  • Salaün, G.
  • Schätz, Bernhard
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary: SL 2-programming and software engineering
Series volume
6959
http://library.link/vocab/subjectName
  • Formal methods (Computer science)
  • Software engineering
  • Computer programs
  • Computer programs
  • Computer software
Summary expansion
This text constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, in August 2011. The 16 papers presented together with 2 invited talks were carefully reviewed and selected from 39 submissions
Label
Formal methods for industrial critical systems : 16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings, Gwen Salaün, Bernhard Schätz (eds.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and author index
Control code
OCM1bookssj0000609741
Dimensions
unknown
Isbn
9783642244308
Isbn Type
(pbk. : alk. paper)
Lccn
2011936880
Specific material designation
remote
System control number
(WaSeSS)bookssj0000609741
Label
Formal methods for industrial critical systems : 16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings, Gwen Salaün, Bernhard Schätz (eds.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and author index
Control code
OCM1bookssj0000609741
Dimensions
unknown
Isbn
9783642244308
Isbn Type
(pbk. : alk. paper)
Lccn
2011936880
Specific material designation
remote
System control number
(WaSeSS)bookssj0000609741

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...