Hippo-CPS: A Tool for Verification and Analysis of Petri Net-Based Cyber-Physical Systems

Autor:	Remigiusz Wiśniewski, Grzegorz Bazydło, Marcin Wojnakowski, Mateusz Popławski
Rok vydání:	2023
Zdroj:	Application and Theory of Petri Nets and Concurrency ISBN: 9783031336195
DOI:	10.1007/978-3-031-33620-1_10
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::12a70de5b5b0611a2d2962b8ef53474a https://doi.org/10.1007/978-3-031-33620-1_10 Zobrazit plný text záznamu