Computer Safety, Reliability and Security : 19th International Conference, SAFECOMP 2000 Rotterdam, the Netherlands, October 2427, 2000 Proceedings
Resource Information
The work Computer Safety, Reliability and Security : 19th International Conference, SAFECOMP 2000 Rotterdam, the Netherlands, October 2427, 2000 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.
The Resource
Computer Safety, Reliability and Security : 19th International Conference, SAFECOMP 2000 Rotterdam, the Netherlands, October 2427, 2000 Proceedings
Resource Information
The work Computer Safety, Reliability and Security : 19th International Conference, SAFECOMP 2000 Rotterdam, the Netherlands, October 2427, 2000 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.
- Label
- Computer Safety, Reliability and Security : 19th International Conference, SAFECOMP 2000 Rotterdam, the Netherlands, October 2427, 2000 Proceedings
- Title remainder
- 19th International Conference, SAFECOMP 2000 Rotterdam, the Netherlands, October 2427, 2000 Proceedings
- Statement of responsibility
- edited by Floor Koornneef, Meine Meulen
- Language
- eng
- Summary
- This book constitutes the refereed proceedings of the 19th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2000, held in Rotterdam, The Netherlands in October 2000. The 33 revised full papers presented together with three invited papers were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on verification and validation; software process improvement; formal methods; safety guidelines, standards and certification; hardware aspects; safety assessment; design for safety; and transport and infrastructure
- Cataloging source
- DKDLA
- Dewey number
- 005.1
- Index
- no index present
- Language note
- English
- LC call number
- QA76.758
- Literary form
- non fiction
- Nature of contents
-
- dictionaries
- standards specifications
- Series statement
- Lecture Notes in Computer Science
- Series volume
- 1943,
Context
Context of Computer Safety, Reliability and Security : 19th International Conference, SAFECOMP 2000 Rotterdam, the Netherlands, October 2427, 2000 ProceedingsWork of
No resources found
No enriched resources found
- Computer Safety, Reliability and Security : 19th International Conference, SAFECOMP 2000 Rotterdam, the Netherlands, October 2427, 2000 Proceedings, edited by Floor Koornneef, Meine Meulen
- Computer Safety, Reliability and Security : 19th International Conference, SAFECOMP 2000 Rotterdam, the Netherlands, October 2427, 2000 Proceedings, edited by Floor Koornneef, Meine Meulen
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/ELVdUDeitqA/" 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/ELVdUDeitqA/">Computer Safety, Reliability and Security : 19th International Conference, SAFECOMP 2000 Rotterdam, the Netherlands, October 2427, 2000 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 Computer Safety, Reliability and Security : 19th International Conference, SAFECOMP 2000 Rotterdam, the Netherlands, October 2427, 2000 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/ELVdUDeitqA/" 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/ELVdUDeitqA/">Computer Safety, Reliability and Security : 19th International Conference, SAFECOMP 2000 Rotterdam, the Netherlands, October 2427, 2000 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>
