Journal of Software Engineering and Applications

Vol.8 No.2(2015), Paper ID 54014, 8 pages

DOI:10.4236/jsea.2015.82006

 

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

 

Nadeem Akhtar, Muhammad Nauman

 

Department of Computer Science and IT, The Islamia University of Bahawalpur, Baghdad-ul-Jadeed Campus, Bahawalpur, Pakistan
Department of Computer Science and IT, The Islamia University of Bahawalpur, Baghdad-ul-Jadeed Campus, Bahawalpur, Pakistan

 

Copyright © 2015 Nadeem Akhtar, Muhammad Nauman et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

 

How to Cite this Article


Akhtar, N. and Nauman, M. (2015) Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study. Journal of Software Engineering and Applications, 8, 43-50. doi: 10.4236/jsea.2015.82006.

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.