Verification & validation of an agent-based forest fire simulation model.
Muaz A. NiaziQasim SiddiqueAmir HussainMario KolbergPublished in: SpringSim (2010)
Keyphrases
- simulation model
- mathematical model
- simulation models
- discrete event
- agent based simulation
- model checking
- simulation environment
- formal verification
- simulation tool
- forest fires
- verification method
- analytical model
- face verification
- signature verification
- matlab simulink
- multi objective genetic algorithm
- model validation