کتاب دانلود کتب لاتین علوم مهندسیرایانه، اینترنت و فناوری اطلاعات
تکنیک های رسمی برای سیستم های حیاتی ایمنی
تکنیک های رسمی برای سیستم های حیاتی ایمنی

Formal Techniques for Safety-Critical Systems - 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
سال انتشار: 2019
تعداد صفحات: 183
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 7MB
رمز فایل: www.ketabdownload.com
قیمت: 190,000ريال

افزودن به سبد دانلود

Publisher : Springer

ISBN-10 : 303012987X

ISBN-13 : 978-3030129873

ASIN : B07NBRSG1N

This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018.

The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on analysis and verification of Safety-Critical Systems; analysis of timed systems; semantics and analysis methods, and model transformation.