Compositional Verification of Non-Blockingness with Prioritised Events

Autor:	Yiheng Tang, Thomas Moor
Rok vydání:	2022
Předmět:	Control and Systems Engineering
Zdroj:	IFAC-PapersOnLine. 55:236-243
ISSN:	2405-8963
DOI:	10.1016/j.ifacol.2022.10.348
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::4971aca0bf8ae16d354c49f401a86e13 https://doi.org/10.1016/j.ifacol.2022.10.348 Zobrazit plný text záznamu