Showing 1 - 7 results of 7 for search 'Abdul Bujang, Siti Dianah', query time: 0.02s
Refine Results
-
1
A model checking agent for mobile short message service application by Abdul Bujang , Siti Dianah
Published 2010Thesis -
2
The design of model checking agent for SMS management system by Selamat, Ali, Abdul Bujang, Siti Dianah
Published 2008Book Section -
3
Dynamic model checking for multi-agent e-business control and assurances by Selamat, Ali, Abdul Bujang, Siti Dianah
Published 2007Conference or Workshop Item -
4
Model checking agent of SMS management system for direct sales and network marketing by Abdul Bujang, Siti Dianah, Selamat, Ali
Published 2008
Conference or Workshop Item -
5
Formal method-agent based verification design by Abdul Bujang, Siti Dianah, Selamat, , Ali, Mohamad, Radziah
Published 2008Book Section -
6
-
7