![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Dependable Software Systems Engineering 2017
- Alexander Pretschner, Doron Peled, Thomas Hutzelmann:
Dependable Software Systems Engineering. NATO Science for Peace and Security Series - D: Information and Communication Security 50, IOS Press 2017, ISBN 978-1-61499-809-9 - Rajeev Alur, Konstantinos Mamouras:
An Introduction to the StreamQRE Language. 1-24 - Bernd Finkbeiner, Felix Klein:
Reactive Synthesis: Towards Output-Sensitive Algorithms. 25-43 - Constance L. Heitmeyer, Elizabeth I. Leonard, Myla M. Archer:
Computing the Next-State Function of a Requirements Model. 44-59 - Kim G. Larsen
, Uli Fahrenberg, Axel Legay:
From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning. 60-103 - Peter Müller, Malte Schwerhoff, Alexander J. Summers:
Viper: A Verification Infrastructure for Permission-Based Reasoning. 104-125 - Doron Peled:
Automata Based Validation Techniques. 126-140 - Alexander Pretschner:
Defect-Based Testing. 141-163 - Alëna Rodionova, Ezio Bartocci
, Dejan Nickovic, Radu Grosu:
Temporal Logic as Filtering. 164-185 - Grigore Rosu:
𝕂: A Semantic Framework for Programming Languages and Formal Analysis Tools. 186-206 - John Rushby:
Assurance and Assurance Cases. 207-235
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.