Filtrer vos résultats
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
|
|
|
triés par
|
|
|
Accélération matérielle de la vérification de sûreté et vivacité sur des architectures reconfigurablesGénie logiciel [cs.SE]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2022. Français. ⟨NNT : 2022ENTA0006⟩
Thèse
tel-04109895v1
|
||
Menhir: Generic High-Speed FPGA Model-Checker2020 23rd Euromicro Conference on Digital System Design (DSD), Aug 2020, Kranj, Slovenia. pp.65-72, ⟨10.1109/DSD51259.2020.00022⟩
Communication dans un congrès
hal-03028409v1
|