Intelligent agent for formal modelling of temporal multi-agent systems
Author:
Qasim Awais,Aziz Zeeshan,Kazmi Syed Asad Raza,Khalid Adnan,Fakhir Ilyas,Hassan Jawad
Publisher
Walter de Gruyter GmbH
Subject
Electrical and Electronic Engineering,Control and Systems Engineering
Reference26 articles.
1. Botti, V.
,
Carrascosa, C.
,
Julián, V.
and
Soler, J.
1999. Modelling agents in hard real-time environments. in
Garijo F. J.
,
Boman M.
(Eds), Multi-Agent System Engineering Springer, Berlin, Heidelberg, pp. 63–76, available at: https://doi.org/10.1007/3-540-48437-X_6 2. STeC: a location-triggered specification language for real-time systems,2012 3. Effects of site-dependent errors on the accuracy of C/A code DGPS positioning;Civil Engineering Journal,2018 4. De Lemos, R.
,
Giese, H.
,
Müller, H. A.
,
Shaw, M.
,
Andersson, J.
,
Litoiu, M.
,
Schmerl, B.
,
Tamura, G.
,
Villegas, N. M.
,
Vogel, T.
,
Weyns, D.
,
Baresi, L.
,
Becker, B.
,
Bencomo, N.
,
Brun, Y.
,
Cukic, B.
,
Desmarais, R.
,
Dustdar, S.
,
Engels, G.
,
Geihs, K.
,
Göschka, K. M.
,
Gorla, A.
,
Grassi, V.
,
Inverardi, P.
,
Karsai, G.
,
Kramer, J.
,
Lopes, A.
,
Magee, J.
,
Malek, S.
,
Mankovskii, S.
,
Mirandola, R.
,
Mylopoulos, J.
,
Nierstrasz, O.
,
Pezzè, M.
,
Prehofer, C.
,
Schäfer, W.
,
Schlichting, R.
,
Smith, D. B.
,
Sousa, J. P.
,
Tahvildari, L.
,
Wong, K.
and
Wuttke, J.
2013. Software engineering for self-adaptive systems: a second research roadmap. in
de Lemos R.
,
Giese H.
,
Müller H. A.
,
Shaw M.
(Eds), Software Engineering for Self-Adaptive Systems II Springer, Berlin, Heidelberg, pp. 1–32, available at: https://doi.org/10.1007/978-3-642-35813-5_1 5. El Kholy, W.
,
El Menshawy, M.
,
Laarej, A.
,
Bentahar, J.
,
Al-Saqqar, F.
and
Dssouli, R.
2015. Real-time conditional commitment logic. in
Chen, Q.
,
Torroni, P.
,
Villata, S.
,
Hsu J.
,
Omicini,A.
(Eds), PRIMA 2015: Principles and Practice of Multi-Agent Systems Springer, Cham, pp. 547–556, available at: https://doi.org/10.1007/978-3-319-25524-8_37
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
|
|