Software Engineering for Resilient Systems [electronic resource] : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings / edited by Alexander Romanovsky, Elena A. Troubitsyna.
Вид матеріалу:
Текст Серія: Programming and Software Engineering ; 10479Публікація: Cham : Springer International Publishing : Imprint: Springer, 2017Видання: 1st ed. 2017Опис: XIV, 201 p. 56 illus. online resourceТип вмісту: - text
- computer
- online resource
- 9783319659480
- 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
- 005.1 23
- QA76.758
ЕКнига
Списки з цим бібзаписом:
Springer Ebooks (till 2020 - Open Access)+(2017 Network Access))
|
Springer Ebooks (2017 Network Access))
Modeling and specification -- Safety and security -- Fault tolerance, resilience and robustness software.
This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017. The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance, resilience and robustness software.
Available to subscribing member institutions only. Доступно лише організаціям членам підписки.
Online access from local network of NaUOA.
Online access with authorization at https://link.springer.com/
Онлайн-доступ з локальної мережі НаУОА.
Онлайн доступ з авторизацією на https://link.springer.com/
Немає коментарів для цієї одиниці.