Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study

Journals Menu

Follow SCIRP

ISSN Print: 1945-3116
ISSN Online: 1945-3124
www.scirp.org/journal/jsea
E-mail: jsea@scirp.org

"Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study"
written by Nadeem Akhtar, Muhammad Nauman,
published by Journal of Software Engineering and Applications, Vol.8 No.2, 2015

has been cited by the following article(s):

[1]	Formal Verification of Ad Hoc M-Commerce Trading Systems with SPIN
	IMCOM 2018 Proceedings of the 12th International Conference on Ubiquitous Information Management and Communication, 2018

[2]	A trading model and security regime for mobile e-commerce via ad hoc wireless networking
	2016

[3]	Role Based Multi-Agent System for E-Learning (MASeL)
	2016

Follow SCIRP