An approach of model checking agent using spin for the verification of mobile SMS application /

An approach of model checking agent using spin for the verification of mobile SMS application /

PRZSL

Bibliographic Details
Main Authors: Siti Dianah Abdul Bujang, author, Ali Selamat, author, IEEE International Workshop on Digital Infotainment and Visualization (2007 : Terengganu))
Format:
Language:
Published: Skudai : Universiti Teknologi Malaysia, 2008

Similar Items