Publikationen

Formale Verifikation von Kommunikationsprotokollen am Beispiel von IO-Link Safety

Author:
E. Hintze
S. Magnus
J. Krause
Jahr der Konferenz:
2017
Name der Konferenz:
AUTOMATION 2017 „Technology networks Processes“, 27.-28.06.2017,
Veröffentlichungsdatum:
06/2017
Herausgeber:
VDI Verlag GmbH
Konferenzort:
Baden-Baden
ISBN-Nummer:
978-3-18-092293-5