Login / Signup
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