Общедоступные статьи - Marc BoyerПодробнее...
3 статьи доступны в некоторых источниках
Increasing accuracy of timing models: From cpa to cpa+
L Köhler, B Nikolic, R Ernst, M Boyer
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2019
Финансирование: German Research Foundation, Agence Nationale de la Recherche
Verifying min-plus computations with coq
L Rakotomalala, P Roux, M Boyer
NASA Formal Methods Symposium, 287-303, 2021
Финансирование: German Research Foundation, Agence Nationale de la Recherche
A formal link between response time analysis and network calculus
P Roux, S Quinton, M Boyer
ECRTS 2022-34th Euromicro Conference on Real-Time Systems, 2022
Финансирование: Agence Nationale de la Recherche
Информация о публикациях и финансировании собрана автоматически.