Login / Signup
Verification of Infocommunication System Components for Modeling and Control of Saturated Traffic in Megalopolis.
Marina V. Yashina
Andrew V. Provorov
Published in:
DepCoS-RELCOMEX (2013)
Keyphrases
</>
traffic control
control system
colored petri nets
data sets
model checking
network traffic
control strategy
traffic flow
control theory
flow control
data mining
modeling language
network resources
verification method