Amazon cover image
Image from Amazon.com

Dependable software systems engineering / edited by Alexander Pretschner, Doron Peled and Thomas Hutzelmann.

By: Contributor(s): Material type: TextTextSeries: NATO science for peace and security series. Sub-series D, Information and communication security ; ; v. 50.Publisher: Amsterdam, Netherlands : IOS Press, 2017Description: 1 online resourceContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9781614998105
  • 1614998108
Subject(s): Genre/Form: Additional physical formats: Print version:: No titleDDC classification:
  • 005.1 23
LOC classification:
  • QA76.758
Online resources:
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.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library EBSCO Computers Available
Total holds: 0

"Proceedings of the NATO Advanced Studies Institute on Dependable Software Systems Engineering, Marktoberdorf, Germany, 3-12 August 2016."

Includes indexes.

Online resource; title from PDF title page (IOS Press, viewed November 20, 2017).

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.

Includes bibliographical references and index.

Added to collection customer.56279.3

Powered by Koha