Universiti Teknologi Malaysia Institutional Repository

Model checking agent using formal method for SMS verfication

Abdul Bujang, Siti Dianah and Selamat, Ali (2009) Model checking agent using formal method for SMS verfication. In: 2009 International Conference on InformationTheory and Engineering (ICITE 2009), 2009, K. Kinabalu, Sabah.

Full text not available from this repository.


Item Type:Conference or Workshop Item (Paper)
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions:Computer Science and Information System (Formerly known)
ID Code:15423
Deposited By: Liza Porijo
Deposited On:30 Sep 2011 09:56
Last Modified:30 Sep 2011 09:56

Repository Staff Only: item control page