تحميل...

Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA

In the context of automotive domain, modern control systems are software-intensive and have adaptive features to provide safety and comfort. These software-based features demand software engineering approaches and formal methods that are able to guarantee correct operation, since malfunctions may ca...

وصف كامل

محفوظ في:
التفاصيل البيبلوغرافية
الحاوية / القاعدة:Rigorous State-Based Methods
المؤلفون الرئيسيون: Arcaini, Paolo, Bonfanti, Silvia, Gargantini, Angelo, Riccobene, Elvinia, Scandurra, Patrizia
التنسيق: Artigo
اللغة:Inglês
منشور في: 2020
الموضوعات:
الوصول للمادة أونلاين:https://ncbi.nlm.nih.gov/pmc/articles/PMC7242031/
https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-48077-6_25
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!