Integration of Linux TCP and Simulation: Verification, Validation and Application.

Songrith Kittiperachol Zhili Sun Haitham S. Cruickshank

Published in: J. Networks (2009)

Keyphrases

operating system
model checking
mathematical model
simulation model
multi agent
data management
end to end