Dependable software systems engineering /

Mostrar otras versiones (3)
Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: NATO Advanced Studies Institute on Dependable Software Systems Engineering Marktoberdorf, Germany
Otros Autores: Pretschner, Alexander (Editor ), Peled, Doron A., 1962- (Editor ), Hutzelmann, Thomas (Editor )
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam, Netherlands : IOS Press, 2017.
Colección:NATO science for peace and security series. Information and communication security ; v. 50.
Temas:
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
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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.

Ejemplares similares