Using Formal Methods to Support the Development of STLs for GPUs

Autor:	Nikolaos I. Deligiannis, Tobias Faller, Josie E. Rodriguez Condia, Riccardo Cantoro, Bernd Becker, Matteo Sonza Reorda
Jazyk:	angličtina
Rok vydání:	2022
Předmět:	Formal Methods Graphics Processing Units (GPUs) Software Test Libraries Test Quality
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e72fd3e8fb7cd46a95c246debf88e27a http://hdl.handle.net/11583/2971077 Zobrazit plný text záznamu