Cover is for reference only

Dependable software systems engineering /

Saved in:
Bibliographic Details
Corporate Authors: NATO Advanced Studies Institute on Dependable Software Systems Engineering Marktoberdorf, Germany)
Group Author: Pretschner, Alexander (Editor); Peled, Doron A., 1962- (Editor); Hutzelmann, Thomas (Editor)
Published: IOS Press,
Publisher Address: Amsterdam :
Publication Dates: [2017]
Literature type: Book
Language: English
Series: NATO science for peace and security series, Sub-series D, Information and communication security, volume 50
Subjects:
Software engineering > Congresses.
Computer software > Reliability > Congresses.
Item Description: "Proceedings of the North Atlantic Treaty Organization Advanced Studies Institute on Dependable Software Systems Engineering, Marktoberdorf, Germany, 3-12 August 2016."
Carrier Form: xiii, 239 pages : illustrations ; 24 cm.
Bibliography: Includes bibliographical references and index.
ISBN: 9781614998099
1614998094
Index Number: QA76
CLC: TP31-532
Call Number: TP31-532/N279/2016
Contents: 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 /

Related Book Recommendations