Automatic Generation of Verification Code for Dynamic Verification of Process-Oriented Reflex Programs

Autor:	Alexandra L. Grivtsova, Vladimir E. Zyubin, Tatiana V. Lyakh, Alexander A. Dvinyanin
Rok vydání:	2022
Zdroj:	2022 IEEE 23rd International Conference of Young Professionals in Electron Devices and Materials (EDM).
DOI:	10.1109/edm55285.2022.9855194
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::ea800383ff6986d4a0746d04c0a81f5d https://doi.org/10.1109/edm55285.2022.9855194 Zobrazit plný text záznamu