Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017 » MIRLIB.RU - ТВОЯ БИБЛИОТЕКА
Регистрация
Green Tea: 50 Hot Drinks, Cool Quenchers, And Sweet And Savory Treats Green Tea: 50 Hot Drinks, Cool Quenchers, And Sweet And Savory Treats Feed the Planet: A Photographic Journey to the World's Food Feed the Planet: A Photographic Journey to the World's Food Основы современной теории автоматического управления с моде­лями и алгоритмами в MATLAB Основы современной теории автоматического управления с моде­лями и алгоритмами в MATLAB Как читать книги. Руководство по чтению великих произведений (2014) Как читать книги. Руководство по чтению великих произведений (2014) Азбука изобретательства Азбука изобретательства Культура Индии Культура Индии Китай. Гастрономия Китай. Гастрономия Основы стохастической финансовой математики (в 2-х томах) Основы стохастической финансовой математики (в 2-х томах) AI Simplified: Harnessing Microsoft Technologies for Cost-Effective Artificial Intelligence Solutions AI Simplified: Harnessing Microsoft Technologies for Cost-Effective Artificial Intelligence Solutions Пузырь или Революция? Будущее Биткойна, Блокчейнов и Криптовалют Пузырь или Революция? Будущее Биткойна, Блокчейнов и Криптовалют Learning Modern C++ for Finance: Foundations for Quantitative Programming (Final Release) Learning Modern C++ for Finance: Foundations for Quantitative Programming (Final Release) Adobe Elements For Beginners - 20th Edition 2024 Adobe Elements For Beginners - 20th Edition 2024 «Пізнаємо світ разом»: Тварини і рослини «Пізнаємо світ разом»: Тварини і рослини Learning Python: Powerful Object-Oriented Programming, 6th Edition (Early Release) Learning Python: Powerful Object-Oriented Programming, 6th Edition (Early Release) Git: контроль версий, 3-е издание Git: контроль версий, 3-е издание Общая химия в задачах и тестах Общая химия в задачах и тестах
Green Tea: 50 Hot Drinks, Cool Quenchers, And Sweet And Savory Treats Green Tea: 50 Hot Drinks, Cool Quenchers, And Sweet And Savory Treats Feed the Planet: A Photographic Journey to the World's Food Feed the Planet: A Photographic Journey to the World's Food Основы современной теории автоматического управления с моде­лями и алгоритмами в MATLAB Основы современной теории автоматического управления с моде­лями и алгоритмами в MATLAB Как читать книги. Руководство по чтению великих произведений (2014) Как читать книги. Руководство по чтению великих произведений (2014) Азбука изобретательства Азбука изобретательства Культура Индии Культура Индии Китай. Гастрономия Китай. Гастрономия Основы стохастической финансовой математики (в 2-х томах) Основы стохастической финансовой математики (в 2-х томах) AI Simplified: Harnessing Microsoft Technologies for Cost-Effective Artificial Intelligence Solutions AI Simplified: Harnessing Microsoft Technologies for Cost-Effective Artificial Intelligence Solutions Пузырь или Революция? Будущее Биткойна, Блокчейнов и Криптовалют Пузырь или Революция? Будущее Биткойна, Блокчейнов и Криптовалют Learning Modern C++ for Finance: Foundations for Quantitative Programming (Final Release) Learning Modern C++ for Finance: Foundations for Quantitative Programming (Final Release) Adobe Elements For Beginners - 20th Edition 2024 Adobe Elements For Beginners - 20th Edition 2024 «Пізнаємо світ разом»: Тварини і рослини «Пізнаємо світ разом»: Тварини і рослини Learning Python: Powerful Object-Oriented Programming, 6th Edition (Early Release) Learning Python: Powerful Object-Oriented Programming, 6th Edition (Early Release) Git: контроль версий, 3-е издание Git: контроль версий, 3-е издание Общая химия в задачах и тестах Общая химия в задачах и тестах
Категория: КНИГИ » ОС И БД
Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017
Добавил: harun54 / 1-02-2018, 20:30 /
Название: 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.


ОТСУТСТВУЕТ ССЫЛКА/ НЕ РАБОЧАЯ ССЫЛКА ЕСТЬ РЕШЕНИЕ, ПИШИМ СЮДА!





[related-news]

Похожие публикации

    {related-news}
[/related-news]
Комментарии 0
Комментариев пока нет. Стань первым!