Obserwuj
GHULAM ALI
GHULAM ALI
Government College University Faisalabad
Zweryfikowany adres z ucp.edu.pk
Tytuł
Cytowane przez
Cytowane przez
Rok
Formal modeling towards a dynamic organization of multi-agent systems using communicating X-machine and Z-notation
G Ali, SA Khan, NA Zafar, F Ahmad
Indian Journal of Science and Technology, 2972-2977, 2012
182012
Visualized and abstract formal modeling towards the multi-agent systems
G Ali, SA Khan, F Ahmad, NA Zafar
Int J Basic Appl Sci 2 (8), 8272-8284, 2012
72012
Modeling agent-based systems using x-machine and Z notation
G Ali, NA Zafar
2010 Second International Conference on Communication Software and Networks …, 2010
42010
Transformation of X-machine to Z notation enhancing modeling power for distributed systems
NA Zafar, G Ali
Proc. Int. Conf. Software Engg. Theory & Practice, 54-61, 2010
32010
Modeling Agent-Based Traffic Control System Using Xmachine and Z Notation
A Nazir
IJIIP 2 (3), 9-21, 0
1
Advancement in Cross-Validation to Improve Accuracy
G Ali, A Aziz
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–6