Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking
| Autor: | Baouya, Abdelhakim, Mohamed, Otmane Ait, Ouchani, Samir, Bennouar, Djamal |
|---|---|
| Zdroj: | In Expert Systems With Applications 15 July 2021 174 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect