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 | 18 | 2012 |
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 | 7 | 2012 |
Modeling agent-based systems using x-machine and Z notation G Ali, NA Zafar 2010 Second International Conference on Communication Software and Networks …, 2010 | 4 | 2010 |
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 | 3 | 2010 |
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 | | |