Skip to content
Publikuj i Dystrybuuj
Rozwiązania Wydawnicze
Rozwiązania Dystrybucyjne
Usługi biblioteczne
Dziedziny
Architektura i projektowanie
Bibliotekoznawstwo i bibliologia
Biznes i ekonomia
Chemia
Chemia przemysłowa
Filozofia
Fizyka
Historia
Informatyka
Inżynieria
Inżynieria materiałowa
Językoznawstwo i semiotyka
Kulturoznawstwo
Literatura
Matematyka
Medycyna
Muzyka
Nauki farmaceutyczne
Nauki klasyczne i starożytne studia bliskowschodnie
Nauki o Ziemi
Nauki o organizmach żywych
Nauki społeczne
Prawo
Sport i rekreacja
Studia judaistyczne
Sztuka
Teologia i religia
Zagadnienia ogólne
Publikacje
Czasopisma
Książki
Materiały konferencyjne
Wydawcy
Journal Matcher
Blog
Kontakt
Wyszukiwanie
Polski
English
Deutsch
Polski
Español
Français
Italiano
Koszyk
Home
Czasopisma
International Journal on Smart Sensing and Intelligent Systems
Tom 13 (2020): Zeszyt 1 (Styczeń 2020)
Otwarty dostęp
Intelligent agent for formal modelling of temporal multi-agent systems
Awais Qasim
Awais Qasim
GC University
Lahore, Pakistan
University of Salford
Salford, UK
Wyszukaj tego autora
Sciendo
|
Google Scholar
Qasim, Awais
,
Zeeshan Aziz
Zeeshan Aziz
University of Salford
Salford, UK
Wyszukaj tego autora
Sciendo
|
Google Scholar
Aziz, Zeeshan
,
Syed Asad Raza Kazmi
Syed Asad Raza Kazmi
GC University
Lahore, Pakistan
Wyszukaj tego autora
Sciendo
|
Google Scholar
Kazmi, Syed Asad Raza
,
Adnan Khalid
Adnan Khalid
GC University
Lahore, Pakistan
Wyszukaj tego autora
Sciendo
|
Google Scholar
Khalid, Adnan
,
Ilyas Fakhir
Ilyas Fakhir
GC University
Lahore, Pakistan
Wyszukaj tego autora
Sciendo
|
Google Scholar
Fakhir, Ilyas
oraz
Jawad Hassan
Jawad Hassan
Lahore Garrison University
Lahore, Pakistan
Wyszukaj tego autora
Sciendo
|
Google Scholar
Hassan, Jawad
05 lut 2020
International Journal on Smart Sensing and Intelligent Systems
Tom 13 (2020): Zeszyt 1 (Styczeń 2020)
O artykule
Poprzedni artykuł
Następny artykuł
Abstrakt
Artykuł
Ilustracje i tabele
Referencje
Autorzy
Artykuły w tym zeszycie
Podgląd
PDF
Zacytuj
Udostępnij
Pobierz okładkę
Kategoria artykułu:
Research-Article
Data publikacji:
05 lut 2020
Zakres stron:
1 - 13
Otrzymano:
10 gru 2019
DOI:
https://doi.org/10.21307/ijssis-2020-003
Słowa kluczowe
Formal methods
,
Self-adaptation
,
Autonomic computing
,
Multi-agent systems
,
Real-time systems
,
TCOZ
© 2020 Awais Qasim et al., published by Sciendo
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
