Safety through common industrial protocol.

Radek Stohl Karel Stibor

Published in: PDeS (2012)

Keyphrases

lightweight
industrial applications
formal analysis
communication protocol
network simulator
application layer
cryptographic protocols
coloured petri nets
database
cooperative
multi party
security analysis
quality improvement
technology transfer
safety critical
coal mining