skip to content
Computer safety, reliability and security : 17th international conference ; proceedings Preview this item
ClosePreview this item
Checking...

Computer safety, reliability and security : 17th international conference ; proceedings

Author: Wolfgang Ehrenberger
Publisher: Berlin [u.a.] Springer 1998
Series: Lecture notes in computer science, 1516
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

This volume constitutes the refereed proceedings of an international conference on computer safety, reliability and security. Topics include: formal methods; management and human factors; security;  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Kongress
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Wolfgang Ehrenberger
ISBN: 3540651101 9783540651109
OCLC Number: 845125569
Description: XVI, 392 S 24 cm
Contents: Formal Methods I - Analysis and Specification.- CoRSA - A Constraint Based Approach to Requirements and Safety Analysis.- An Agenda for Specifying Software Components with Complex Data Models.- Safety in Production Cell Components: An Approach Combining Formal Real Time Specifications and Patterns.- Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems.- Linking Hazard Analysis to Formal Specification and Design in B.- Management and Human Factors.- Controlling Your Design through Your Software Process.- Operator Errors and Their Causes.- Security.- A Performance Comparison of Group Security Mechanisms.- Towards Secure Downloadable Executable Content: The JAVA Paradigm.- Model and Implementation of a Secure SW-Development Process for Mission Critical Software.- Impact of Object-Oriented Software Engineering Applied to the Development of Security Systems.- Medical Informatics.- "Profit by Safety" or Quackery in Biomedical Information Technology?.- Formal Methods II - Languages and Verification.- Towards Automated Proof of Fail-Safe Behavior.- Verifying a time-triggered protocol in a multi-language environment.- Methods and Languages for Safety Related Real Time Programming.- ANSI-C in Safety Critical Applications Lessons-Learned from Software Evaluation.- Applications.- A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools.- Applying Formal Methods in Industry The UseGat Project.- Increasing System Safety for By-Wire Applications in Vehicles by Using a Time Triggered Architecture.- Fault-Tolerant Communication in Large-Scale Manipulators.- Distributed Fault Tolerant and Safety Critical Applications in Vehicles - A Time-Triggered Approach.- Model Checking Safety Critical Software with SPIN: an Application to a Railway Interlocking System.- EURIS, a Specification Method for Distributed Interlockings.- Object Oriented Safety Analysis of an Extra High Voltage Substation Bay.- Formal Methods III - Petri Nets.- Integration of Logical and Physical Properties of Embedded Systems by Use of Time Petri Nets.- Safety Verification of Software Using Structured Petri Nets.- Reliability.- Refinement of Safety-Related Hazards into Verifiable Code Assertions.- Conceptual Comparison of two Commonly Used Safeguarding Principles.- A Holistic View on the Dependability of Software-Intensive Systems.- Verifying Integrity of Decision Diagrams.
Series Title: Lecture notes in computer science, 1516
Responsibility: SAFECOMP '98, Heidelberg, Germany, October 5-7, 1998. Wolfgang Ehrenberger (ed.)

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/845125569> # Computer safety, reliability and security : 17th international conference ; proceedings
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "845125569" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4917786100#Place/berlin_u_a> ; # Berlin u.a.
    schema:about <http://experiment.worldcat.org/entity/work/data/4917786100#Topic/computersicherheit> ; # Computersicherheit
    schema:about <http://experiment.worldcat.org/entity/work/data/4917786100#Topic/software> ; # Software
    schema:about <http://experiment.worldcat.org/entity/work/data/4917786100#Place/heidelberg_1998> ; # Heidelberg <1998>
    schema:about <http://experiment.worldcat.org/entity/work/data/4917786100#Topic/zuverlassigkeit> ; # Zuverlässigkeit
    schema:about <http://experiment.worldcat.org/entity/work/data/4917786100#Thing/kongress> ; # Kongress
    schema:about <http://dewey.info/class/005.1/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4917786100#Topic/datensicherung> ; # Datensicherung
    schema:about <http://experiment.worldcat.org/entity/work/data/4917786100#Topic/formale_methode> ; # Formale Methode
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/4917786100#Meeting/international_conference_on_computer_safety_reliability_and_security_safecomp_17_1998_10_5_7_heidelberg> ; # International Conference on Computer Safety, Reliability and Security, SAFECOMP (17 1998.10.5-7 Heidelberg)
    schema:contributor <http://experiment.worldcat.org/entity/work/data/4917786100#Meeting/safecomp_17_1998_heidelberg> ; # SAFECOMP 17 1998 Heidelberg
    schema:datePublished "1998" ;
    schema:editor <http://viaf.org/viaf/69462383> ; # Wolfgang Ehrenberger
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4917786100> ;
    schema:genre "Kongress" ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4917786100#Series/> ; #
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4917786100#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science
    schema:name "Computer safety, reliability and security : 17th international conference ; proceedings" ;
    schema:productID "845125569" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/845125569#PublicationEvent/berlin_u_a_springer1998> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/4917786100#Agent/springer> ; # Springer
    schema:url <http://www.gbv.de/dms/bowker/toc/9783540651109.pdf> ;
    schema:workExample <http://worldcat.org/isbn/9783540651109> ;
    umbel:isLike <http://d-nb.info/954434056> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/845125569> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/4917786100#Meeting/international_conference_on_computer_safety_reliability_and_security_safecomp_17_1998_10_5_7_heidelberg> # International Conference on Computer Safety, Reliability and Security, SAFECOMP (17 1998.10.5-7 Heidelberg)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/4917786100#Place/heidelberg> ; # Heidelberg)
    schema:name "International Conference on Computer Safety, Reliability and Security, SAFECOMP (17 1998.10.5-7 Heidelberg)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4917786100#Place/heidelberg> # Heidelberg)
    a schema:Place ;
    schema:name "Heidelberg)" ;
    schema:name "Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/4917786100#Place/heidelberg_1998> # Heidelberg <1998>
    a schema:Place ;
    schema:name "Heidelberg <1998>" ;
    .

<http://experiment.worldcat.org/entity/work/data/4917786100#Series/> #
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/845125569> ; # Computer safety, reliability and security : 17th international conference ; proceedings
    schema:name "" ;
    .

<http://experiment.worldcat.org/entity/work/data/4917786100#Series/lecture_notes_in_computer_science> # Lecture notes in computer science
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/845125569> ; # Computer safety, reliability and security : 17th international conference ; proceedings
    schema:name "Lecture notes in computer science" ;
    .

<http://experiment.worldcat.org/entity/work/data/4917786100#Topic/computersicherheit> # Computersicherheit
    a schema:Intangible ;
    schema:name "Computersicherheit" ;
    .

<http://experiment.worldcat.org/entity/work/data/4917786100#Topic/zuverlassigkeit> # Zuverlässigkeit
    a schema:Intangible ;
    schema:name "Zuverlässigkeit" ;
    .

<http://viaf.org/viaf/69462383> # Wolfgang Ehrenberger
    a schema:Person ;
    schema:familyName "Ehrenberger" ;
    schema:givenName "Wolfgang" ;
    schema:name "Wolfgang Ehrenberger" ;
    .

<http://worldcat.org/isbn/9783540651109>
    a schema:ProductModel ;
    schema:isbn "3540651101" ;
    schema:isbn "9783540651109" ;
    .

<http://www.worldcat.org/title/-/oclc/845125569>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/845125569> ; # Computer safety, reliability and security : 17th international conference ; proceedings
    schema:dateModified "2018-05-09" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.