Formal Verification of Distributed Master-Slave Finite State Machine

Autor:	Marko Popovic, Vladimir Marinkovic, Miodrag Djukic, Miroslav Popovic
Rok vydání:	2021
Zdroj:	2021 29th Telecommunications Forum (TELFOR).
DOI:	10.1109/telfor52709.2021.9653241
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::7dce9f4059ab36231d3ce5b54009330e https://doi.org/10.1109/telfor52709.2021.9653241 Zobrazit plný text záznamu