Have a personal or library account? Click to login
Intelligent agent for formal modelling of temporal multi-agent systems Cover

Intelligent agent for formal modelling of temporal multi-agent systems

International Journal on Smart Sensing and Intelligent Systems
Volume 13 (2020): Issue 1 (January 2020)
By: Awais Qasim,  Zeeshan Aziz,  Syed Asad Raza Kazmi,  Adnan Khalid,  Ilyas Fakhir and  Jawad Hassan  
Open Access
|Feb 2020

Authors

Awais Qasim

awais@gcu.edu.pk

GC University, Lahore, Pakistan
University of Salford, Salford, UK

Zeeshan Aziz

University of Salford, Salford, UK

Syed Asad Raza Kazmi

GC University, Lahore, Pakistan

Adnan Khalid

GC University, Lahore, Pakistan

Ilyas Fakhir

GC University, Lahore, Pakistan

Jawad Hassan

Lahore Garrison University, Lahore, Pakistan
DOI: https://doi.org/10.21307/ijssis-2020-003 | Journal eISSN: 1178-5608
Journal RSS Feed
Language: English
Page range: 1 - 13
Submitted on: Dec 10, 2019
|
Published on: Feb 5, 2020
Published by: Professor Subhas Chandra Mukhopadhyay
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Keywords:
Formal methods,
Self-adaptation,
Autonomic computing,
Multi-agent systems,
Real-time systems,
TCOZ
Related subjects:
Engineering,
Introductions and overviews,
Engineering, other

© 2020 Awais Qasim, Zeeshan Aziz, Syed Asad Raza Kazmi, Adnan Khalid, Ilyas Fakhir, Jawad Hassan, published by Professor Subhas Chandra Mukhopadhyay
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

Previous articleVolume 13 (2020): Issue 1 (January 2020)Next article