skip to content
Formal Techniques for Safety-Critical Systems : Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers Preview this item
ClosePreview this item
Checking...

Formal Techniques for Safety-Critical Systems : Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

Author: Cyrille Artho; Peter Csaba Ölveczky
Publisher: Cham : Springer International Publishing, 2015.
Series: Communications in Computer and Information Science, 476.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the  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: Cyrille Artho; Peter Csaba Ölveczky
ISBN: 9783319175805 3319175807 9783319175812 3319175815
OCLC Number: 908701556
Description: 1 Online-Ressource.
Contents: Case studies and experience reports on the use of formal methods for analyzing.- Safety-critical systems.- Methods, techniques, and tools to support automated analysis, certifcation, and debugging of complex safety/QoS-critical systems.- Analysis methods that address the limitations of formal methods in industry.- Formal analysis support for modeling languages used in industry.- Code generation from validated models.- Methods, techniques, and tools to support automated analysis, certifcation, and debugging of complex safety/QoS-critical systems.- Analysis methods that address the limitations of formal methods in industry.- Formal analysis support for modeling languages used in industry.- Code generation from validated models.
Series Title: Communications in Computer and Information Science, 476.
Responsibility: edited by Cyrille Artho, Peter Csaba Ölveczky.

Abstract:

This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The papers  Read more...

Reviews

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

Tags

Be the first.

Similar Items

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/908701556> # Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "908701556" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2520563403#Place/cham> ; # Cham
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://dewey.info/class/005.1015113/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/2520563403#Topic/computer_science> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/2520563403#Topic/logic_design> ; # Logic design
    schema:about <http://experiment.worldcat.org/entity/work/data/2520563403#Topic/software_engineering> ; # Software engineering
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2520563403#Person/artho_cyrille> ; # Cyrille Artho
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2520563403#Person/olveczky_peter_csaba> ; # Peter Csaba Ölveczky
    schema:datePublished "2015" ;
    schema:description "This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems." ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2520563403> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/1865-0929> ; # Communications in Computer and Information Science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2520563403#Series/communications_in_computer_and_information_science> ; # Communications in Computer and Information Science ;
    schema:name "Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers" ;
    schema:productID "908701556" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/908701556#PublicationEvent/cham_springer_international_publishing_2015> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/2520563403#Agent/springer_international_publishing> ; # Springer International Publishing
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027978571&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA> ;
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027978571&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027978571&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
    schema:url <https://doi.org/10.1007/978-3-319-17581-2> ;
    schema:url <http://dx.doi.org/10.1007/978-3-319-17581-2> ;
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027978571&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-17581-2> ;
    schema:workExample <http://worldcat.org/isbn/9783319175805> ;
    schema:workExample <http://worldcat.org/isbn/9783319175812> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/908701556> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/2520563403#Person/artho_cyrille> # Cyrille Artho
    a schema:Person ;
    schema:familyName "Artho" ;
    schema:givenName "Cyrille" ;
    schema:name "Cyrille Artho" ;
    .

<http://experiment.worldcat.org/entity/work/data/2520563403#Person/olveczky_peter_csaba> # Peter Csaba Ölveczky
    a schema:Person ;
    schema:familyName "Ölveczky" ;
    schema:givenName "Peter Csaba" ;
    schema:name "Peter Csaba Ölveczky" ;
    .

<http://experiment.worldcat.org/entity/work/data/2520563403#Series/communications_in_computer_and_information_science> # Communications in Computer and Information Science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/908701556> ; # Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
    schema:name "Communications in Computer and Information Science ;" ;
    .

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

<http://worldcat.org/isbn/9783319175805>
    a schema:ProductModel ;
    schema:isbn "3319175807" ;
    schema:isbn "9783319175805" ;
    .

<http://worldcat.org/isbn/9783319175812>
    a schema:ProductModel ;
    schema:isbn "3319175815" ;
    schema:isbn "9783319175812" ;
    .

<http://worldcat.org/issn/1865-0929> # Communications in Computer and Information Science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/908701556> ; # Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
    schema:issn "1865-0929" ;
    schema:name "Communications in Computer and Information Science ;" ;
    .

<http://www.worldcat.org/title/-/oclc/908701556>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/908701556> ; # Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
    schema:dateModified "2018-04-13" ;
    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.