Coverart for item
The Resource Formal methods for industrial critical systems : 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers, Darren Cofer, Alessandro Fantechi (eds.), (electronic resource)

Formal methods for industrial critical systems : 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers, Darren Cofer, Alessandro Fantechi (eds.), (electronic resource)

Label
Formal methods for industrial critical systems : 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers
Title
Formal methods for industrial critical systems
Title remainder
13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers
Statement of responsibility
Darren Cofer, Alessandro Fantechi (eds.)
Title variation
FMICS 2008
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
OHX
Dewey number
004n/a
LC call number
QA76.9.F67
LC item number
I594 2008
http://bibfra.me/vocab/lite/meetingDate
2008
http://bibfra.me/vocab/lite/meetingName
International Workshop on Formal Methods for Industrial Critical Systems
http://library.link/vocab/relatedWorkOrContributorName
  • Cofer, Darren
  • Fantechi, Alessandro
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 2, Programming and software engineering
Series volume
5596
http://library.link/vocab/subjectName
  • Formal methods (Computer science)
  • Software engineering
  • Computer programs
  • Computer programs
  • Computer software
  • Computer software
  • Programmverifikation
  • Sicherheitskritisches System
  • Softwareentwicklung
  • Systementwurf
  • Eingebettetes System
  • Fehlertoleranz
  • Formale Methode
  • Model Checking
  • Programmverifikation
  • Sicherheitskritisches System
  • Softwareentwicklung
  • Softwarespezifikation
  • Systementwurf
  • Verifikation
  • Zuverlässigkeit
Label
Formal methods for industrial critical systems : 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers, Darren Cofer, Alessandro Fantechi (eds.), (electronic resource)
Instantiates
Publication
Note
International conference proceedings
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000296711
Dimensions
unknown
Isbn
9783642032394
Isbn Type
(pbk.)
Lccn
2009930950
Publisher number
12711871
Specific material designation
remote
System control number
(WaSeSS)bookssj0000296711
Label
Formal methods for industrial critical systems : 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers, Darren Cofer, Alessandro Fantechi (eds.), (electronic resource)
Publication
Note
International conference proceedings
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000296711
Dimensions
unknown
Isbn
9783642032394
Isbn Type
(pbk.)
Lccn
2009930950
Publisher number
12711871
Specific material designation
remote
System control number
(WaSeSS)bookssj0000296711

Library Locations

    • Curtis Laws Wilson LibraryBorrow it
      400 West 14th Street, Rolla, MO, 65409, US
      37.955220 -91.772210
Processing Feedback ...