Machine learning Solutions to Model Checking: A Brief Literature Review

Autor:	Asma Besbas, Leyla Belaiche, Sihem Slatnia, Laid Kahloul, Mohamed Khalgui
Rok vydání:	2022
Zdroj:	2022 International Symposium on iNnovative Informatics of Biskra (ISNIB).
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::83e94da080d865e0e8684ee9669689bc https://doi.org/10.1109/isnib57382.2022.10076160 Zobrazit plný text záznamu