University of Illinois Urbana-Champaign

Verification of Simulation Models of Network Protocols Using State Space Exploration and Protocol-Specific Properties

Sobeih, Ahmed A.; d'Amorim, Marcelo; Viswanathan, Mahesh; Marinov, Darko; Hou, Jennifer C.

Content Files
Verification of Simulation Models of Network Protocols Using State Space Exploration and Protocol-Specific Properties.pdf
Loading…

Permalink

Description

Owning Collections