Runtime verification of safety properties in multi-agents systems.

DORA Home
→
Faculty of Technology
→
School of Computer Science and Informatics
→
View Item

Browse

All of DORA
This Collection

My Account

Statistics

View Usage Statistics

Runtime verification of safety properties in multi-agents systems.

Alotaibi, Hind ; Zedan, Hussein

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

URI: http://hdl.handle.net/2086/4709

DOI: http://dx.doi.org/10.1109/ISDA.2010.5687238

ISBN: 9781424481347

Research Group: Software Technology Research Laboratory (STRL)

Peer Reviewed: Yes

Date: 2010

Show attachments and full item record