System Specification Based Network Modeling for Survivability Testing Simulation.
HyungJong KimPublished in: ICISC (2002)
Keyphrases
- discrete event simulation
- colored petri nets
- communication networks
- network structure
- formal verification
- peer to peer
- network simulator
- spiking neurons
- high level
- simulation model
- data flow
- simulation models
- queuing network
- agent based modeling
- modeling language
- network architecture
- network model
- numerical simulations
- mathematical model
- wireless sensor networks