Case Driven TLC Model Checker Analysis in Energy Scenario

Autor:	Vadym Shkarupylo, Ihor Blinov, Valentyna Dusheba, Jamil Abedalrahim Jamil Alsayaydeh
Rok vydání:	2023
Předmět:	Marketing Economics and Econometrics Public Administration Sociology and Political Science Arts and Humanities (miscellaneous) Social Psychology Accounting Communication Geography Planning and Development General Medicine Development Finance
Zdroj:	Computer Modeling and Intelligent Systems. 3392:65-75
DOI:	10.32782/cmis/3392-6
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::b0b55c7eca9abd5fdf35b333e7a21744 https://doi.org/10.32782/cmis/3392-6 Zobrazit plný text záznamu