Semantic Classification of Event Driven Temporal Logic Requirements

Autor:	Anastasia N. Getmanova, Natalia O. Garanina, Sergey M. Staroletov, Vladimir E. Zyubin, Igor S. Anureev
Rok vydání:	2022
Zdroj:	2022 IEEE 23rd International Conference of Young Professionals in Electron Devices and Materials (EDM).
DOI:	10.1109/edm55285.2022.9855053
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::e9f366560c42344dfd2e12a3a73e5150 https://doi.org/10.1109/edm55285.2022.9855053 Zobrazit plný text záznamu