Evaluating the Stream Control Transmission Protocol Using Uppaal.

Shruti Saini Ansgar Fehnker

Published in: MARS@ETAPS (2017)

Keyphrases

data streams
real time
control system
lightweight
control method
floor control
model checking
model checker
sliding window
data acquisition
formal analysis
switched networks