Runtime verification of safety properties in multi-agents systems.

De Montfort University Open Research Archive

Show simple item record

dc.contributor.author Alotaibi, H.
dc.contributor.author Zedan, Hussein
dc.date.accessioned 2011-03-08T15:08:48Z
dc.date.available 2011-03-08T15:08:48Z
dc.date.issued 2010
dc.identifier.citation Alotaibi, 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-362 en
dc.identifier.isbn 9781424481347
dc.identifier.uri http://hdl.handle.net/2086/4709
dc.language.iso en en
dc.publisher IEEE en
dc.title Runtime verification of safety properties in multi-agents systems. en
dc.type Conference en
dc.identifier.doi http://dx.doi.org/10.1109/ISDA.2010.5687238
dc.researchgroup Software Technology Research Laboratory (STRL) en
dc.peerreviewed Yes en


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