ORPP logo
Image from Google Jackets

Dependable Software Systems Engineering.

By: Contributor(s): Material type: TextTextSeries: NATO Science for Peace and Security Series - d: Information and Communication Security SeriesPublisher: Amsterdam : IOS Press, Incorporated, 2017Copyright date: ©2017Edition: 1st edDescription: 1 online resource (256 pages)Content type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9781614998105
Subject(s): Genre/Form: Additional physical formats: Print version:: Dependable Software Systems EngineeringDDC classification:
  • 005.1
LOC classification:
  • QA76.758 .D474 2017
Online resources:
Contents:
Title Page -- Preface -- Contents -- An Introduction to the StreamQRE Language -- Reactive Synthesis: Towards Output-Sensitive Algorithms -- Computing the Next-State Function of a Requirements Model -- From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning -- Viper: A Verification Infrastructure for Permission-Based Reasoning -- Automata Based Validation Techniques -- Defect-Based Testing -- Temporal Logic as Filtering -- K: A Semantic Framework for Programming Languages and Formal Analysis Tools -- Assurance and Assurance Cases -- Subject Index -- Author Index.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

Title Page -- Preface -- Contents -- An Introduction to the StreamQRE Language -- Reactive Synthesis: Towards Output-Sensitive Algorithms -- Computing the Next-State Function of a Requirements Model -- From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning -- Viper: A Verification Infrastructure for Permission-Based Reasoning -- Automata Based Validation Techniques -- Defect-Based Testing -- Temporal Logic as Filtering -- K: A Semantic Framework for Programming Languages and Formal Analysis Tools -- Assurance and Assurance Cases -- Subject Index -- Author Index.

Description based on publisher supplied metadata and other sources.

Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2024. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.

There are no comments on this title.

to post a comment.

© 2024 Resource Centre. All rights reserved.