Login / Signup
Formal Modeling of Communication Traces.
Sergiy Boroday
Hesham Hallal
Alexandre Petrenko
Andreas Ulrich
Published in:
ISTA (2003)
Keyphrases
</>
communication systems
communication overhead
formal models
real world
decision making
communication networks
instant messaging
real time
computer networks
formal model
formal specification
formal methods
communication protocol