عنوان
پدید آورنده
موضوع
رده
QA76.9.F67
QA76
.
9
.
F67
کتابخانه
محل استقرار
شابک
شابک
303012987X
شابک
3030129888
شابک
9783030129873
شابک
9783030129880
شابک اشتباه
9783030129873
عنوان و نام پديدآور
عنوان اصلي
Formal techniques for safety-critical systems :
نام عام مواد
[Book]
ساير اطلاعات عنواني
6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised selected papers /
نام نخستين پديدآور
Cyrille Artho, Peter Csaba Ölveczky (eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cham, Switzerland :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
2019.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xii, 179 pages) :
ساير جزييات
illustrations (some color)
فروست
عنوان فروست
Communications in computer and information science,
مشخصه جلد
1008
شاپا ي ISSN فروست
1865-0929 ;
يادداشت کلی
متن يادداشت
Includes author index.
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index.
یادداشتهای مربوط به مندرجات
متن يادداشت
Invited paper -- Analysis and Verification of Safety-Critical Systems -- Analysis of Timed Systems -- Semantics and Analysis Methods -- Model Transformation.
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
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.
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
Springer Nature
شماره انبار
com.springer.onix.9783030129880
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
FTSCS 2018
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Formal methods (Computer science), Congresses.
موضوع مستند نشده
System safety, Congresses.
موضوع مستند نشده
Systems engineering, Congresses.
موضوع مستند نشده
Formal methods (Computer science)
موضوع مستند نشده
System safety.
موضوع مستند نشده
Systems engineering.
رده بندی ديویی
شماره
004
.
01/51
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
9
.
F67
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Artho, Cyrille
مستند نام اشخاص تاييد نشده
Ölveczky, Peter Csaba
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
FTSCS (Workshop)(6th :2018 :, Gold Coast, Qld.)
مبدا اصلی
تاريخ عمليات
20200823083125.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
