A Hard Real-Time Bus Arbitration Protocol based on EIA-709.

Alexander Bauer Peter Rössler

Published in: ECRTS (2002)

Keyphrases

lightweight
high speed
formal analysis
tcp ip
network protocols
coloured petri nets
communication protocol
key distribution
cryptographic protocols
communication protocols
file transfer