Açık Akademik Arşiv Sistemi

Browsing WOS İndeksli Yayınlar Koleksiyonu / WOS Indexed Publications Collection by Author "Öztürk, Muhammed Maruf"

Browsing WOS İndeksli Yayınlar Koleksiyonu / WOS Indexed Publications Collection by Author "Öztürk, Muhammed Maruf"

Sort by: Order: Results:

  • Formal verification and validation with DEVS-Suite: OSPF Case study 
    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 ...