Software Engineering for Resilient Systems : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings - Romanovsky, Alexander; Troubitsyna, Elena A.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
Modeling and specification -- Safety and security -- Fault tolerance, resilience and robustness software.
Keywords: Software engineering; Computer logic; Programming languages (Electronic computers).; Computer system failures; Computers; Artificial intelligence; Software Engineering; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; System Performance and Evaluation; The Computing Profession; Artificial Intelligence