Donghwan, Shin in SELab has presented SOS simulation with PRISM in RED&B workshop on Aug 12, 2015.

Its contents was below.

1. MCI scenario specification
2. Scenario modeling
3. Simulation
4. Model checking and results
5. Discussion

This video shows the modeling simulation in PRISM.

Also, you can download the presentation file.

[wpdm_package id=’121′]