The Resource Dependable computing--EDCC-1 : first European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994 : proceedings, Klaus Echtle, Dieter Hammer, David Powell, eds

Dependable computing--EDCC-1 : first European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994 : proceedings, Klaus Echtle, Dieter Hammer, David Powell, eds

Label
Dependable computing--EDCC-1 : first European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994 : proceedings
Title
Dependable computing--EDCC-1
Title remainder
first European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994 : proceedings
Statement of responsibility
Klaus Echtle, Dieter Hammer, David Powell, eds
Title variation
EDCC-1
Creator
Contributor
Subject
Genre
Language
eng
Summary
Annotation This book presents the proceedings of the First European Dependable Computing Conference (EDCC-1), held in Berlin, Germany, in October 1994. EDCC is the merger of two former European events on dependable computing. The volume comprises 34 refereed full papers selected from 106 submissions. The contributions address all current aspects of dependable computing and reflect the state of the art in dependable systems research and advanced applications; among the topics covered are hardware and software reliability, safety-critical and secure systems, fault-tolerance and detection, verification and validation, formal methods, hardware and software testing, and parallel and distributed systems
Member of
Action
digitized
Cataloging source
CUY
Dewey number
004.2
Illustrations
illustrations
Index
index present
LC call number
QA76.9.F38
LC item number
E33 1994
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1994
http://bibfra.me/vocab/lite/meetingName
European Dependable Computing Conference
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
  • 1938-
  • 1951-
http://library.link/vocab/relatedWorkOrContributorName
  • Echtle, Klaus
  • Hammer, D.
  • Powell, David
Series statement
Lecture notes in computer science
Series volume
852
http://library.link/vocab/subjectName
  • Fault-tolerant computing
  • Electronic digital computers
  • Tol�erance aux fautes (Informatique)
  • Ordinateurs
  • Electronic digital computers
  • Fault-tolerant computing
  • Storingsbestendige computersystemen
  • Tolérance aux fautes (informatique)
  • Ordinateurs
Label
Dependable computing--EDCC-1 : first European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994 : proceedings, Klaus Echtle, Dieter Hammer, David Powell, eds
Link
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Dimensions
unknown
Extent
1 online resource (xvii, 618 pages)
Form of item
online
Isbn
9783540584261
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations
Reproduction note
Electronic reproduction.
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)69657793
  • (OCoLC)ocm69657793
System details
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Label
Dependable computing--EDCC-1 : first European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994 : proceedings, Klaus Echtle, Dieter Hammer, David Powell, eds
Link
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Dimensions
unknown
Extent
1 online resource (xvii, 618 pages)
Form of item
online
Isbn
9783540584261
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations
Reproduction note
Electronic reproduction.
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)69657793
  • (OCoLC)ocm69657793
System details
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...