دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
دانلود کتاب قابلیت اطمینان، ایمنی و امنیت سیستم های راه آهن. مدل سازی، تجزیه و تحلیل، تایید و صدور گواهینامه: دومین کنفرانس بین المللی، RSSRail 2017، Pistoia، Italy، 14-16 نوامبر 2017، پرونده
مشخصات کتاب
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
ویرایش: 1 نویسندگان: Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky (eds.) سری: Programming and Software Engineering 10598 ISBN (شابک) : 9783319684987, 9783319684994 ناشر: Springer International Publishing سال نشر: 2017 تعداد صفحات: 274 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 14 مگابایت
قیمت کتاب (تومان) : 34,000
کلمات کلیدی مربوط به کتاب قابلیت اطمینان، ایمنی و امنیت سیستم های راه آهن. مدل سازی، تجزیه و تحلیل، تایید و صدور گواهینامه: دومین کنفرانس بین المللی، RSSRail 2017، Pistoia، Italy، 14-16 نوامبر 2017، پرونده: مهندسی نرم افزار
در صورت تبدیل فایل کتاب Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب قابلیت اطمینان، ایمنی و امنیت سیستم های راه آهن. مدل سازی، تجزیه و تحلیل، تایید و صدور گواهینامه: دومین کنفرانس بین المللی، RSSRail 2017، Pistoia، Italy، 14-16 نوامبر 2017، پرونده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب قابلیت اطمینان، ایمنی و امنیت سیستم های راه آهن. مدل سازی، تجزیه و تحلیل، تایید و صدور گواهینامه: دومین کنفرانس بین المللی، RSSRail 2017، Pistoia، Italy، 14-16 نوامبر 2017، پرونده
این جلد مجموعه مقالات دومین کنفرانس بین المللی قابلیت
اطمینان، ایمنی و امنیت سیستم های راه آهن، RRSRail 2017 است که
در نوامبر 2017 در Pistoia، ایتالیا برگزار شد.
16 مقاله ارائه شده در این جلد از بین 34 مورد ارسالی به دقت
بررسی و انتخاب شدند. آنها در بخش های موضوعی به نام: چالش های
ارتباطی در سیستم های راه آهن سازماندهی شده اند. مدلسازی و
تأیید رسمی برای ایمنی؛ راه آهن سبک و حمل و نقل شهری؛ و تکنیک
ها و استانداردهای مهندسی این کتاب همچنین شامل یک سخنرانی
کلیدی در طول مقاله است.
توضیحاتی درمورد کتاب به خارجی
This volume constitutes the proceedings of the Second
International Conference on Reliability, Safety and Security
of Railway Systems, RRSRail 2017, held in Pistoia, Italy, in
November 2017.
The 16 papers presented in this volume were carefully
reviewed and selected from 34 submissions. They are organized
in topical sections named: communication challenges in
railway systems; formal modeling and verification for safety;
light rail and urban transit; and engineering techniques and
standards. The book also contains one keynote talk in
full-paper length.
فهرست مطالب
Front Matter ....Pages I-XVIII
Front Matter ....Pages 1-1
Cyber Security in Railways: Quo Vadis? (Jens Braband)....Pages 3-14
Front Matter ....Pages 15-15
LTE System Design for Urban Light Rail Transport (Gianluca Mandò, Giovanni Giambene)....Pages 17-33
A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS (Roberto Canonico, Stefano Marrone, Roberto Nardone, Valeria Vittorini)....Pages 34-50
Systems-Theoretic Likelihood and Severity Analysis for Safety and Security Co-engineering (William G. Temple, Yue Wu, Binbin Chen, Zbigniew Kalbarczyk)....Pages 51-67
Front Matter ....Pages 69-69
Formal Modelling Techniques for Efficient Development of Railway Control Products (M. Butler, D. Dghaym, T. Fischer, T. S. Hoang, K. Reichl, C. Snook et al.)....Pages 71-86
OVADO (Manel Fredj, Sven Leger, Abderrahmane Feliachi, Julien Ordioni)....Pages 87-98
A Domain-Specific Language for Generic Interlocking Models and Their Properties (Linh H. Vu, Anne E. Haxthausen, Jan Peleska)....Pages 99-115
Bayesian Network Modeling Applied on Railway Level Crossing Safety (Ci Liang, Mohamed Ghazel, Olivier Cazier, Laurent Bouillaut, El-Miloudi El-Koursi)....Pages 116-130
Deductive Verification of Railway Operations (Eduard Kamburjan, Reiner Hähnle)....Pages 131-147
Safety Analysis of a CBTC System: A Rigorous Approach with Event-B (Mathieu Comptier, David Deharbe, Julien Molinero Perez, Louis Mussat, Thibaut Pierre, Denis Sabatier)....Pages 148-159
B-PERFect (Alexandra Halchin, Abderrahmane Feliachi, Neeraj Kumar Singh, Yamine Ait-Ameur, Julien Ordioni)....Pages 160-172
Formal Verification of Train Control with Air Pressure Brakes (Stefan Mitsch, Marco Gario, Christof J. Budnik, Michael Golm, André Platzer)....Pages 173-191
Front Matter ....Pages 193-193
An Efficient Evaluation Scheme for KPIs in Regulated Urban Train Systems (Bruno Adeline, Pierre Dersin, Éric Fabre, Loïc Hélouët, Karim Kecir)....Pages 195-211
Redundant and Reliable Architecture Based on Open Source Tools for Light-Rail-Transit On-Board-Systems (Vincenzo Di Massa, Mirko Damiani, Maurizio Papini, Gianluca Mandò)....Pages 212-220
Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming (Davide Basile, Felicita Di Giandomenico, Stefania Gnesi)....Pages 221-237
Front Matter ....Pages 239-239
Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks (Paulius Stankaitis, Alexei Iliasov)....Pages 241-250
Are Standards an Ambiguity-Free Reference for Product Validation? (Alessio Ferrari, Mario Fusani, Stefania Gnesi)....Pages 251-264
Back Matter ....Pages 265-265
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Oxford Word Skills: Intermediate: Idioms and Phrasal Verbs Student Book with Key: Learn and Practise English Vocabulary
دانلود کتاب A practical handbook of speech coders / Randy Goldberg, Lance Riek
دانلود کتاب Language Planning & Policy In Europe Vol.2: The Czech Republic, The European Union and Northern Ireland (Language Planning and Policy)
