On Model Checking of a Robotic Mechanism

Autor:	Turcanu Adrian, Shaikh Talal, Mazilu Cristina Nicoleta
Rok vydání:	2020
Předmět:	Model checking Computer science Distributed computing Mechanism (sociology)
Zdroj:	Journal of Robotics and Automation. 4
ISSN:	2642-4312
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::f0541ec7d19fcdad6bb085c9ec910028 https://doi.org/10.36959/673/366 Zobrazit plný text záznamu