Fingerprint
Dive into the research topics of 'J-Sim: An integrated environment for simulation and model checking of network protocols'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
J-Sim: An integrated environment for simulation and model checking of network protocols
Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution