Siti Dianah Abdul Bujang

	2009
4		Ali Selamat, Choon-Ching Ng, Md. Hafiz Selamat, Siti Dianah Abdul Bujang: Agent Architecture for Criminal Mobile Devices Identification Systems. ICCCI (SCI Volume) 2009: 281-290
3		Ali Selamat, Siti Dianah Abdul Bujang, Md. Hafiz Selamat: Agent Verification Design of Short Text Messaging System Using Formal Method. KES-AMSTA 2009: 514-522
	2008
2		Siti Dianah Abdul Bujang, Ali Selamat: Verification of Mobile SMS Application with Model Checking Agent. ISDA (2) 2008: 217-222
1		Ali Selamat, Siti Dianah Abdul Bujang: The Design of Model Checking Agent for SMS Management System. KES-AMSTA 2008: 813-821

Coauthor Index

1	Choon-Ching Ng	[4]
2	Ali Selamat	[1] [2] [3] [4]
3	Md. Hafiz Selamat	[3] [4]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page