Show simple item record

dc.contributor.authorAlotaibi, Hind
dc.contributor.authorZedan, Hussein
dc.date.accessioned2011-03-08T15:08:48Z
dc.date.available2011-03-08T15:08:48Z
dc.date.issued2010
dc.identifier.citationAlotaibi, H. and Zedan, H. (2010) Runtime verification of safety properties in multi-agents systems. Proceedings of the 2010 10th International Conference on Intelligent Systems Design and Applications, ISDA'10, Article number 5687238, pp. 356-362en
dc.identifier.isbn9781424481347
dc.identifier.urihttp://hdl.handle.net/2086/4709
dc.language.isoenen
dc.publisherIEEEen
dc.titleRuntime verification of safety properties in multi-agents systems.en
dc.typeConferenceen
dc.identifier.doihttp://dx.doi.org/10.1109/ISDA.2010.5687238
dc.researchgroupSoftware Technology Research Laboratory (STRL)en
dc.peerreviewedYesen


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record