skip to content
Dependable software systems engineering Preview this item
ClosePreview this item
Checking...

Dependable software systems engineering

Author: Alexander Pretschner; Doron A Peled; Thomas Hutzelmann
Publisher: Amsterdam, Netherlands : IOS Press, 2017.
Series: NATO science for peace and security series., Sub-series D,, Information and communication security ;, v. 50.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
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: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
(OCoLC)1011111575
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Alexander Pretschner; Doron A Peled; Thomas Hutzelmann
ISBN: 9781614998105 1614998108
OCLC Number: 1012107245
Notes: "Proceedings of the NATO Advanced Studies Institute on Dependable Software Systems Engineering, Marktoberdorf, Germany, 3-12 August 2016."
Includes indexes.
Description: 1 online resource.
Contents: Machine generated contents note: Reactive Synthesis: Towards Output-Sensitive Algorithms / Felix Klein --
Computing the Next-State Function of a Requirements Model / M.M. Archer --
From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning / Axel Legay --
Viper: A Verification Infrastructure for Permission-Based Reasoning / Alexander J. Summers --
Automata Based Validation Techniques / Doron Peled --
Defect-Based Testing / Alexander Pretschner --
Temporal Logic as Filtering / Radu Grosu --
K: A Semantic Framework for Programming Languages and Formal Analysis Tools / Grigore Rosu --
Assurance and Assurance Cases / John Rushby.
Series Title: NATO science for peace and security series., Sub-series D,, Information and communication security ;, v. 50.
Responsibility: edited by Alexander Pretschner, Doron Peled and Thomas Hutzelmann.

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/1012107245> # Dependable software systems engineering
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "1012107245" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/2576493034#Topic/computers_software_development_&_engineering_general> ; # COMPUTERS--Software Development & Engineering--General
    schema:about <http://experiment.worldcat.org/entity/work/data/2576493034#Topic/software_engineering> ; # Software engineering
    schema:about <http://dewey.info/class/005.1/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/2576493034#Topic/computer_software_reliability> ; # Computer software--Reliability
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/2576493034#Meeting/nato_advanced_studies_institute_on_dependable_software_systems_engineering_2016_marktoberdorf_germany> ; # NATO Advanced Studies Institute on Dependable Software Systems Engineering (2016 : Marktoberdorf, Germany)
    schema:datePublished "2017" ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/2576493034#Person/hutzelmann_thomas> ; # Thomas Hutzelmann
    schema:editor <http://experiment.worldcat.org/entity/work/data/2576493034#Person/pretschner_alexander> ; # Alexander Pretschner
    schema:editor <http://experiment.worldcat.org/entity/work/data/2576493034#Person/peled_doron_a_1962> ; # Doron A. Peled
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2576493034> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2576493034#Series/nato_science_for_peace_and_security_series> ; # NATO science for peace and security series.
    schema:isPartOf <http://worldcat.org/issn/1879-8292> ; # NATO science for peace and security series, Sub-series D, Information and communication security,
    schema:isSimilarTo <http://www.worldcat.org/oclc/1011111575> ;
    schema:name "Dependable software systems engineering"@en ;
    schema:productID "1012107245" ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=5150839> ;
    schema:url <http://public.ebookcentral.proquest.com/choice/PublicFullRecord.aspx?p=5150839> ;
    schema:url <http://www.myilibrary.com?id=1049149> ;
    schema:url <http://ebooks.iospress.nl/isbn/978-1-61499-810-5> ;
    schema:url <https://nl.idm.oclc.org/login?url=http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1632351> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1632351> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=1632351> ;
    schema:workExample <http://worldcat.org/isbn/9781614998105> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1012107245> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2576493034#Meeting/nato_advanced_studies_institute_on_dependable_software_systems_engineering_2016_marktoberdorf_germany> # NATO Advanced Studies Institute on Dependable Software Systems Engineering (2016 : Marktoberdorf, Germany)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/2576493034#Place/marktoberdorf_germany> ; # Marktoberdorf, Germany)
    schema:name "NATO Advanced Studies Institute on Dependable Software Systems Engineering (2016 : Marktoberdorf, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/2576493034#Person/hutzelmann_thomas> # Thomas Hutzelmann
    a schema:Person ;
    schema:familyName "Hutzelmann" ;
    schema:givenName "Thomas" ;
    schema:name "Thomas Hutzelmann" ;
    .

<http://experiment.worldcat.org/entity/work/data/2576493034#Person/peled_doron_a_1962> # Doron A. Peled
    a schema:Person ;
    schema:birthDate "1962" ;
    schema:familyName "Peled" ;
    schema:givenName "Doron A." ;
    schema:name "Doron A. Peled" ;
    .

<http://experiment.worldcat.org/entity/work/data/2576493034#Person/pretschner_alexander> # Alexander Pretschner
    a schema:Person ;
    schema:familyName "Pretschner" ;
    schema:givenName "Alexander" ;
    schema:name "Alexander Pretschner" ;
    .

<http://experiment.worldcat.org/entity/work/data/2576493034#Place/marktoberdorf_germany> # Marktoberdorf, Germany)
    a schema:Place ;
    schema:name "Marktoberdorf, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/2576493034#Series/nato_science_for_peace_and_security_series> # NATO science for peace and security series.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1012107245> ; # Dependable software systems engineering
    schema:name "NATO science for peace and security series." ;
    .

<http://experiment.worldcat.org/entity/work/data/2576493034#Topic/computer_software_reliability> # Computer software--Reliability
    a schema:Intangible ;
    schema:name "Computer software--Reliability"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2576493034#Topic/computers_software_development_&_engineering_general> # COMPUTERS--Software Development & Engineering--General
    a schema:Intangible ;
    schema:name "COMPUTERS--Software Development & Engineering--General"@en ;
    .

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

<http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1632351>
    rdfs:comment "Available to Stanford-affiliated users." ;
    .

<http://worldcat.org/isbn/9781614998105>
    a schema:ProductModel ;
    schema:isbn "1614998108" ;
    schema:isbn "9781614998105" ;
    .

<http://worldcat.org/issn/1879-8292> # NATO science for peace and security series, Sub-series D, Information and communication security,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1012107245> ; # Dependable software systems engineering
    schema:issn "1879-8292" ;
    schema:name "NATO science for peace and security series, Sub-series D, Information and communication security," ;
    .

<http://www.worldcat.org/oclc/1011111575>
    a schema:CreativeWork ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1012107245> ; # Dependable software systems engineering
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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