Formale Verifikation von Kommunikationsprotokollen am Beispiel von IO-Link Safety

Autor:	S. Magnus, J. Krause, E. Hintze
Rok vydání:	2017
Zdroj:	Automation 2017
DOI:	10.51202/9783181022931-157
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::3a424add12904233664f4e9a64aa6fe4 https://doi.org/10.51202/9783181022931-157 Zobrazit plný text záznamu