Use Of Temporal Logic In Software Engineering For Analysis And Modeling

Autor:	M Sadiq Ali Khan, Huma Hasan Rizvi, Sameen Athar, Saima Tabassum
Rok vydání:	2022
Zdroj:	2022 Global Conference on Wireless and Optical Technologies (GCWOT).
DOI:	10.1109/gcwot53057.2022.9772909
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::30434d0725911db4ceaa96894dde6ad4 https://doi.org/10.1109/gcwot53057.2022.9772909 Zobrazit plný text záznamu