| Description |
1 online resource. |
| Physical Medium |
polychrome |
| Description |
text file |
| Series |
NATO science for peace and security series, Sub-series D, Information and communication security,
1879-8292 ;
vol. 50
|
|
NATO science for peace and security series. Sub-series D, Information and communication security ; v. 50.
|
| Note |
"Proceedings of the NATO Advanced Studies Institute on Dependable Software Systems Engineering, Marktoberdorf, Germany, 3-12 August 2016." |
|
Includes indexes. |
| 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. |
| Local Note |
eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America |
| Subject |
Software engineering -- Congresses.
|
|
Software engineering. |
|
Computer software -- Reliability -- Congresses.
|
|
Computer software -- Reliability. |
| Genre/Form |
Electronic books.
|
|
Conference papers and proceedings.
|
|
Conference papers and proceedings.
|
| Added Author |
Pretschner, Alexander, editor.
|
|
Peled, Doron A., 1962- editor.
|
|
Hutzelmann, Thomas, editor.
|
| Other Form: |
Print version: 1614998094 9781614998099 (OCoLC)1011111575 |
| ISBN |
9781614998105 (electronic book) |
|
1614998108 (electronic book) |
|
9781614998099 (print) |
|
1614998094 (print) |
|
