skip to content
Computer Safety, Reliability, and Security : SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings Preview this item
ClosePreview this item
Checking...

Computer Safety, Reliability, and Security : SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings

Author: Andrea Bondavalli; Andrea Ceccarelli; Frank Ortmeier
Publisher: Cham : Springer International Publishing, 2014.
Series: SpringerLink : Bücher; Lecture notes in computer science, 8696.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Database:WorldCat
Summary:
This book constitutes the refereed proceedings of 6 workshops co-located with SAFECOMP 2014, the 33rd International Conference on Computer Safety, Reliability, and Security, held in Florence, Italy, in September 2014. The 32 revised full and 10 short papers presented were carefully reviewed and selected from 58 submissions. They are complemented with 6 introduction to each of the workshops: Architecting Safety in  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

Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Andrea Bondavalli; Andrea Ceccarelli; Frank Ortmeier
ISBN: 9783319105567 3319105566 9783319105574 3319105574
OCLC Number: 890776656
Description: Online-Ressource.
Contents: Architecting Safety in Collaborative Mobile Systems (ASCoMS'14).- ERCIM/EWICS/ARTEMIS Workshop on Dependable Embedded and Cyberphysical Systems and Systems-of-Systems (DECSoS'14).- DEvelopment, Verification and VAlidation of cRiTical Systems (DEVVARTS'14).- Integration of Safety and Security Engineering (ISSE'14).- Reliability and Security Aspects for Critical Infrastructure Protection (ReSA4CI'14).- Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR'14).
Series Title: SpringerLink : Bücher; Lecture notes in computer science, 8696.
Responsibility: edited by Andrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier.
More information:

Abstract:

This book constitutes the refereed proceedings of 6 workshops co-located with SAFECOMP 2014, the 33rd International Conference on Computer Safety, Reliability, and Security, held in Florence, Italy, in September 2014. The 32 revised full and 10 short papers presented were carefully reviewed and selected from 58 submissions. They are complemented with 6 introduction to each of the workshops: Architecting Safety in Collaborative Mobile Systems, ASCoMS'14; ERCIM/EWICS/ARTEMIS Workshop on Dependable Embedded and Cyberphysical Systems and Systems-of-Systems, DECSoS'14; DEvelopment, Verification and VAlidation of cRiTical Systems, DEVVARTS'14; Integration of Safety and Security Engineering, ISSE'14; Reliability and Security Aspects for Critical Infrastructure Protection, ReSA4CI'14; Next Generation of System Assurance Approaches for Safety-Critical Systems, SASSUR'14.

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/890776656> # Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "890776656" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2086583619#Place/cham> ; # Cham
    schema:about <http://experiment.worldcat.org/entity/work/data/2086583619#Topic/computer_network_architectures> ; # Computer network architectures
    schema:about <http://experiment.worldcat.org/entity/work/data/2086583619#Topic/logic_design> ; # Logic design
    schema:about <http://dewey.info/class/005.1015113/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/2086583619#Topic/software_engineering> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/2086583619#Topic/computer_science> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/2086583619#Topic/data_protection> ; # Data protection
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2086583619#Person/ortmeier_frank> ; # Frank Ortmeier
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2086583619#Person/bondavalli_andrea> ; # Andrea Bondavalli
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2086583619#Person/ceccarelli_andrea> ; # Andrea Ceccarelli
    schema:datePublished "2014" ;
    schema:description "This book constitutes the refereed proceedings of 6 workshops co-located with SAFECOMP 2014, the 33rd International Conference on Computer Safety, Reliability, and Security, held in Florence, Italy, in September 2014. The 32 revised full and 10 short papers presented were carefully reviewed and selected from 58 submissions. They are complemented with 6 introduction to each of the workshops: Architecting Safety in Collaborative Mobile Systems, ASCoMS'14; ERCIM/EWICS/ARTEMIS Workshop on Dependable Embedded and Cyberphysical Systems and Systems-of-Systems, DECSoS'14; DEvelopment, Verification and VAlidation of cRiTical Systems, DEVVARTS'14; Integration of Safety and Security Engineering, ISSE'14; Reliability and Security Aspects for Critical Infrastructure Protection, ReSA4CI'14; Next Generation of System Assurance Approaches for Safety-Critical Systems, SASSUR'14." ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2086583619> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2086583619#Series/springerlink_bucher> ; # SpringerLink : Bücher
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2086583619#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science
    schema:name "Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings" ;
    schema:productID "890776656" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/890776656#PublicationEvent/cham_springer_international_publishing_2014> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/2086583619#Agent/springer_international_publishing> ; # Springer International Publishing
    schema:url <http://swbplus.bsz-bw.de/bsz414026691cov.htm> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-10557-4> ;
    schema:workExample <http://worldcat.org/isbn/9783319105567> ;
    schema:workExample <http://worldcat.org/isbn/9783319105574> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/890776656> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2086583619#Agent/springer_international_publishing> # Springer International Publishing
    a bgn:Agent ;
    schema:name "Springer International Publishing" ;
    .

<http://experiment.worldcat.org/entity/work/data/2086583619#Person/bondavalli_andrea> # Andrea Bondavalli
    a schema:Person ;
    schema:familyName "Bondavalli" ;
    schema:givenName "Andrea" ;
    schema:name "Andrea Bondavalli" ;
    .

<http://experiment.worldcat.org/entity/work/data/2086583619#Person/ceccarelli_andrea> # Andrea Ceccarelli
    a schema:Person ;
    schema:familyName "Ceccarelli" ;
    schema:givenName "Andrea" ;
    schema:name "Andrea Ceccarelli" ;
    .

<http://experiment.worldcat.org/entity/work/data/2086583619#Person/ortmeier_frank> # Frank Ortmeier
    a schema:Person ;
    schema:familyName "Ortmeier" ;
    schema:givenName "Frank" ;
    schema:name "Frank Ortmeier" ;
    .

<http://experiment.worldcat.org/entity/work/data/2086583619#Series/lecture_notes_in_computer_science> # Lecture notes in computer science
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/890776656> ; # Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings
    schema:name "Lecture notes in computer science" ;
    schema:name "Lecture Notes in Computer Science" ;
    .

<http://experiment.worldcat.org/entity/work/data/2086583619#Series/springerlink_bucher> # SpringerLink : Bücher
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/890776656> ; # Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings
    schema:name "SpringerLink : Bücher" ;
    .

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

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

<http://worldcat.org/isbn/9783319105567>
    a schema:ProductModel ;
    schema:description "print" ;
    schema:isbn "3319105566" ;
    schema:isbn "9783319105567" ;
    .

<http://worldcat.org/isbn/9783319105574>
    a schema:ProductModel ;
    schema:isbn "3319105574" ;
    schema:isbn "9783319105574" ;
    .

<http://www.worldcat.org/title/-/oclc/890776656>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/890776656> ; # Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings
    schema:dateModified "2016-07-10" ;
    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.