قابلیت اطمینان ، ایمنی و امنیت سیستم های راه آهن. مدل سازی ، تجزیه و تحلیل ، تأیید و صدور گواهینامه (یادداشت های سخنرانی در علوم کامپیوتر)
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (Lecture Notes in Computer Science)
نویسنده: Birgit Milius (editor), Simon Collart-Dutilleul (editor), Thierry Lecomte (editor)
ناشر: Springer
سال انتشار: 2023
تعداد صفحات: 237
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 17 مگابایت