DSpace Repository

Formal verification and validation with DEVS-Suite: OSPF Case study

Show simple item record

dc.creator Zengin, Ahmet
dc.creator Ozturk, Muhammed Maruf
dc.date 2012-11-30T22:00:00Z
dc.date.accessioned 2020-10-06T09:27:15Z
dc.date.available 2020-10-06T09:27:15Z
dc.identifier 17941edb-066d-46eb-a94e-ac81625576b4
dc.identifier 10.1016/j.simpat.2012.05.013
dc.identifier https://avesis.sdu.edu.tr/publication/details/17941edb-066d-46eb-a94e-ac81625576b4/oai
dc.identifier.uri http://acikerisim.sdu.edu.tr/xmlui/handle/123456789/54206
dc.description Validation is a degree of which how correct a model represents the behavior of its system counterpart from the perspective of intended use of the model. The degree of representation of the model or abstraction is determined by the modeler according to user demands and objectives. Whenever the modeler and simulation user's demands are satisfied, the model is considered as valid.
dc.language eng
dc.rights info:eu-repo/semantics/closedAccess
dc.title Formal verification and validation with DEVS-Suite: OSPF Case study
dc.type info:eu-repo/semantics/article


Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Advanced Search

Browse

My Account