A Cyber Physical System based Stochastic Process Language With NuSMV Model Checker

Autor:	Hamidreza Mostafaei, Ehsan Akhtarkavan, Shirin Kordnoori, Zahra Vasigh, Pouria Khanzadi
Rok vydání:	2021
Předmět:	Model checking Stochastic process Computer science Programming language Cyber-physical system computer.software_genre computer
Zdroj:	2021 International Conference on Intelligent Technology, System and Service for Internet of Everything (ITSS-IoE).
DOI:	10.1109/itss-ioe53029.2021.9615286
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::bbe95910165a1c809093f5fd1d7ddd02 https://doi.org/10.1109/itss-ioe53029.2021.9615286 Zobrazit plný text záznamu