Verification of mobile SMS application with model checking agent /

Verification of mobile SMS application with model checking agent /

PRZSL

Bibliographic Details
Main Authors: Siti Dianah Abdul Bujang, 1984-, author, Ali Selamat, author, International Conference on Intelligent Systems Design and Applications (8th: 2008: Taiwan)
Format:
Language:
Published: Skudai : Universiti Teknologi Malaysia, 2008
Description
Summary:PRZSL

Similar Items