Dependable software systems engineering /

Show other versions (3)
Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: NATO Advanced Studies Institute on Dependable Software Systems Engineering Marktoberdorf, Germany
Other Authors: Pretschner, Alexander (Editor), Peled, Doron A., 1962- (Editor), Hutzelmann, Thomas (Editor)
Format: Electronic Conference Proceeding eBook
Language:Inglés
Published: Amsterdam, Netherlands : IOS Press, 2017.
Series:NATO science for peace and security series. Information and communication security ; v. 50.
Subjects:
Software engineering > Congresses.
Computer software > Reliability > Congresses.
Génie logiciel > Congrès.
Logiciels > Fiabilité > Congrès.
COMPUTERS > Software Development & Engineering > General.
Computer software > Reliability
Software engineering
Conference papers and proceedings
Online Access:Texto completo
Table of 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.

Similar Items