Загрузка...
A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System
In this article, we present an approach to the ABZ 2020 case study, that differs from the ones usually presented at ABZ: Rather than using a (correct-by-construction) approach following a formal method, we use MISRA C for a low-level implementation instead. We strictly adhere to test-driven developm...
Сохранить в:
| Опубликовано в: : | Rigorous State-Based Methods |
|---|---|
| Главные авторы: | , , , |
| Формат: | Artigo |
| Язык: | Inglês |
| Опубликовано: |
2020
|
| Предметы: | |
| Online-ссылка: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7242055/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-48077-6_30 |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|