Dolmen: FPGA Swarm for Safety and Liveness Verification

Autor:	Emilien Fournier, Ciprian Teodorov, Loic Lagadec
Rok vydání:	2022
Zdroj:	2022 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::ea6c81ad1c3fff2654ae740fad98325e https://doi.org/10.23919/date54114.2022.9774528 Zobrazit plný text záznamu