Publikationen

Formale Verifikation von Kommunikationsprotokollen am Beispiel von IO-Link Safety

Author:
E. Hintze
S. Magnus
J. Krause
Year of Conference:
2017
Conference Name:
AUTOMATION 2017 „Technology networks Processes“, 27.-28.06.2017,
Date Published:
06/2017
Publisher:
VDI Verlag GmbH
Conference Location:
Baden-Baden
ISBN Number:
978-3-18-092293-5