skip to content
Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings Preview this item
ClosePreview this item
Checking...

Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Author: Stefano Tonetta; Erwin Schoitsch; Friedemann Bitsch
Publisher: Cham : Springer International Publishing, 2017.
Series: Lecture notes in computer science, 10488.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
This book constitutes the refereed proceedings of the 36th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017. The 22 revised full papers and two abstracts of keynotes presented were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on dynamic fault trees; safety case and argumentation; formal  Read more...
Rating:

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

Subjects
More like this

Find a copy online

Find a copy in the library

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

Details

Genre/Form: Konferenzschrift
Additional Physical Format: Erscheint auch als:
Druck-Ausgabe
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Stefano Tonetta; Erwin Schoitsch; Friedemann Bitsch
ISBN: 9783319662664 331966266X
OCLC Number: 1004313154
Description: 1 Online-Ressource (XIX, 344 Seiten 107 Illustrationen)
Series Title: Lecture notes in computer science, 10488.
Responsibility: edited by Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch.

Abstract:

This book constitutes the refereed proceedings of the 36th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017. The 22 revised full papers and two abstracts of keynotes presented were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on dynamic fault trees; safety case and argumentation; formal verification; autonomous systems; static analysis and testing; safety analysis and assessment; safety and security.

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/1004313154> # Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "1004313154" ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4537828901#Topic/zuverlassigkeit> ; # Zuverlässigkeit
    schema:about <http://experiment.worldcat.org/entity/work/data/4537828901#Topic/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters
    schema:about <http://dewey.info/class/005.1015113/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4537828901#Topic/computer_security> ; # Computer security
    schema:about <http://experiment.worldcat.org/entity/work/data/4537828901#Topic/programming_languages_electronic_computers> ; # Programming languages (Electronic computers)
    schema:about <http://experiment.worldcat.org/entity/work/data/4537828901#Topic/logic_design> ; # Logic design
    schema:about <http://experiment.worldcat.org/entity/work/data/4537828901#Topic/computer_systems_organization_and_communication_networks> ; # Computer Systems Organization and Communication Networks
    schema:about <http://experiment.worldcat.org/entity/work/data/4537828901#Topic/application_software> ; # Application software
    schema:about <http://experiment.worldcat.org/entity/work/data/4537828901#Topic/computer_applications> ; # Computer Applications
    schema:about <http://experiment.worldcat.org/entity/work/data/4537828901#Topic/software> ; # Software
    schema:about <http://experiment.worldcat.org/entity/work/data/4537828901#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
    schema:about <http://experiment.worldcat.org/entity/work/data/4537828901#Topic/systems_and_data_security> ; # Systems and Data Security
    schema:about <http://experiment.worldcat.org/entity/work/data/4537828901#Topic/computer_science> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/4537828901#Topic/computer_network_architectures> ; # Computer network architectures
    schema:about <http://experiment.worldcat.org/entity/work/data/4537828901#Topic/formale_methode> ; # Formale Methode
    schema:about <http://experiment.worldcat.org/entity/work/data/4537828901#Topic/computer_organization> ; # Computer organization
    schema:about <http://experiment.worldcat.org/entity/work/data/4537828901#Topic/software_engineering> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/4537828901#Topic/computer_logic> ; # Computer logic
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/4537828901#Person/bitsch_friedemann> ; # Friedemann Bitsch
    schema:contributor <http://experiment.worldcat.org/entity/work/data/4537828901#Person/schoitsch_erwin> ; # Erwin Schoitsch
    schema:contributor <http://experiment.worldcat.org/entity/work/data/4537828901#Person/tonetta_stefano> ; # Stefano Tonetta
    schema:datePublished "2017" ;
    schema:description "This book constitutes the refereed proceedings of the 36th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017. The 22 revised full papers and two abstracts of keynotes presented were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on dynamic fault trees; safety case and argumentation; formal verification; autonomous systems; static analysis and testing; safety analysis and assessment; safety and security." ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4537828901> ;
    schema:genre "Konferenzschrift" ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4537828901#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/4537828901#CreativeWork/> ;
    schema:name "Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings" ;
    schema:productID "1004313154" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/1004313154#PublicationEvent/2017> ;
    schema:url <http://digitale-objekte.hbz-nrw.de/storage2/2018/07/10/file_16/8108969.pdf> ;
    schema:url <https://doi.org/10.1007/978-3-319-66266-4> ;
    schema:url <http://swbplus.bsz-bw.de/bsz492998035cov.htm> ;
    schema:workExample <http://worldcat.org/isbn/9783319662664> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-66266-4> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1004313154> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/4537828901#Person/bitsch_friedemann> # Friedemann Bitsch
    a schema:Person ;
    schema:familyName "Bitsch" ;
    schema:givenName "Friedemann" ;
    schema:name "Friedemann Bitsch" ;
    .

<http://experiment.worldcat.org/entity/work/data/4537828901#Person/schoitsch_erwin> # Erwin Schoitsch
    a schema:Person ;
    schema:familyName "Schoitsch" ;
    schema:givenName "Erwin" ;
    schema:name "Erwin Schoitsch" ;
    .

<http://experiment.worldcat.org/entity/work/data/4537828901#Person/tonetta_stefano> # Stefano Tonetta
    a schema:Person ;
    schema:familyName "Tonetta" ;
    schema:givenName "Stefano" ;
    schema:name "Stefano Tonetta" ;
    .

<http://experiment.worldcat.org/entity/work/data/4537828901#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1004313154> ; # Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture Notes in Computer Science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/4537828901#Topic/application_software> # Application software
    a schema:Intangible ;
    schema:name "Application software" ;
    .

<http://experiment.worldcat.org/entity/work/data/4537828901#Topic/computer_applications> # Computer Applications
    a schema:Intangible ;
    schema:name "Computer Applications" ;
    .

<http://experiment.worldcat.org/entity/work/data/4537828901#Topic/computer_network_architectures> # Computer network architectures
    a schema:Intangible ;
    schema:name "Computer network architectures" ;
    .

<http://experiment.worldcat.org/entity/work/data/4537828901#Topic/computer_organization> # Computer organization
    a schema:Intangible ;
    schema:name "Computer organization" ;
    .

<http://experiment.worldcat.org/entity/work/data/4537828901#Topic/computer_science> # Computer science
    a schema:Intangible ;
    schema:name "Computer science" ;
    schema:name "Computer Science" ;
    .

<http://experiment.worldcat.org/entity/work/data/4537828901#Topic/computer_security> # Computer security
    a schema:Intangible ;
    schema:name "Computer security" ;
    .

<http://experiment.worldcat.org/entity/work/data/4537828901#Topic/computer_systems_organization_and_communication_networks> # Computer Systems Organization and Communication Networks
    a schema:Intangible ;
    schema:name "Computer Systems Organization and Communication Networks" ;
    .

<http://experiment.worldcat.org/entity/work/data/4537828901#Topic/logics_and_meanings_of_programs> # Logics and Meanings of Programs
    a schema:Intangible ;
    schema:name "Logics and Meanings of Programs" ;
    .

<http://experiment.worldcat.org/entity/work/data/4537828901#Topic/programming_languages_compilers_interpreters> # Programming Languages, Compilers, Interpreters
    a schema:Intangible ;
    schema:name "Programming Languages, Compilers, Interpreters" ;
    .

<http://experiment.worldcat.org/entity/work/data/4537828901#Topic/programming_languages_electronic_computers> # Programming languages (Electronic computers)
    a schema:Intangible ;
    schema:name "Programming languages (Electronic computers)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4537828901#Topic/software_engineering> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering" ;
    schema:name "Software Engineering" ;
    .

<http://experiment.worldcat.org/entity/work/data/4537828901#Topic/systems_and_data_security> # Systems and Data Security
    a schema:Intangible ;
    schema:name "Systems and Data Security" ;
    .

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

<http://worldcat.org/entity/work/data/4537828901#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Erscheint auch als:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1004313154> ; # Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings
    .

<http://worldcat.org/isbn/9783319662664>
    a schema:ProductModel ;
    schema:isbn "331966266X" ;
    schema:isbn "9783319662664" ;
    .

<http://www.worldcat.org/title/-/oclc/1004313154>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1004313154> ; # Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings
    schema:dateModified "2019-06-28" ;
    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.