Zengin, Ahmet; Öztürk, Muhammed Maruf
(Elsevier science BV, 2012)
In this paper, verification and validation of the DEVS models in DEVS-Suite environment are discussed. A case example called OSPF-DEVS simulator is applied and verification and validation tests are performed on it to show ...