A Protocol for Loosely Time-Triggered Architectures.

Albert Benveniste Paul Caspi Paul Le Guernic Hervé Marchand Jean-Pierre Talpin Stavros Tripakis

Published in: EMSOFT (2002)

Keyphrases

network protocols
lightweight
application layer
coloured petri nets
communication protocol
formal analysis
database
tcp ip
group communication
low cost
elliptic curve
database systems
cryptographic protocols
communication protocols
network simulator
network devices
website
protocol specification
real time