Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017

Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017 КНИГИ » ОС И БД

Название: Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017
Автор: Stefano Tonetta and Erwin Schoitsch
Издательство: Springer
Год: 2017
Формат: PDF
Размер: 31 Мб
Язык: английский / English

This book constitutes the refereed proceedings of the 36th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017.
The 22 revised full papers and two abstracts of keynotes presented were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on dynamic fault trees; safety case and argumentation; formal verification; autonomous systems; static analysis and testing; safety analysis and assessment; safety and security.

Depositfiles

Turbobit

File-upload

НЕ РАБОТАЕТ TURBOBIT.NET? ЕСТЬ РЕШЕНИЕ, ЖМИ СЮДА!

Автор: black 1-02-2018, 20:30 | Напечатать |

Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.

С этой публикацией часто скачивают:

Advances in Security of Information and Communication Networks Название: Advances in Security of Information and Communication Networks: First International Conference, SecNet 2013, Cairo, Egypt, September 3-5,...

Engineering Psychology and Cognitive Ergonomics: 8th International Conference, EPCE 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings Название: Engineering Psychology and Cognitive Ergonomics: 8th International Conference, EPCE 2009, Held as Part of HCI International 2009, San...

Information Security Theory and Practice: 11th IFIP WG 11.2 International Conference, WISTP 2017 Название: Information Security Theory and Practice: 11th IFIP WG 11.2 International Conference, WISTP 2017 Автор: Gerhard P. Hancke and Ernesto...

Data and Applications Security and Privacy XXXI: 31st Annual IFIP WG 11.3 Conference, DBSec 2017 Название: Data and Applications Security and Privacy XXXI: 31st Annual IFIP WG 11.3 Conference, DBSec 2017 Автор: Giovanni Livraga and Sencun Zhu...

Cyberspace Safety and Security: 9th International Symposium, CSS 2017 Название: Cyberspace Safety and Security: 9th International Symposium, CSS 2017 Автор: Sheng Wen and Wei Wu Издательство: Springer Год: 2017 Формат:...

Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017 Название: Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017 Автор: Zhenhua Duan and...

Availability, Reliability, and Security in Information Systems: IFIP WG 8.4, 8.9, TC 5 International Cross-Domain Conference, CD-ARES 2016 Название: Availability, Reliability, and Security in Information Systems: IFIP WG 8.4, 8.9, TC 5 International Cross-Domain Conference, CD-ARES 2016...

Global Security, Safety and Sustainability: Tomorrow’s Challenges of Cyber Security: 10th International Conference, ICGS3 2015 Название: Global Security, Safety and Sustainability: Tomorrow’s Challenges of Cyber Security: 10th International Conference, ICGS3 2015 Автор: Hamid...

Computer Safety, Reliability, and Security, SAFECOMP 2016 Название: Computer Safety, Reliability, and Security, SAFECOMP 2016 Автор: Amund Skavhaug and J?r?mie Guiochet Издательство: Springer Год: 2016...

Interoperability, Safety and Security in IoT Название: Interoperability, Safety and Security in IoT Автор: Nathalie Mitton and Hakima Chaouchi Издательство: Springer Год: 2017 Формат: PDF...

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.