Agent verification design of short text messaging system using formal method /

Agent verification design of short text messaging system using formal method /

PRZSL

Bibliographic Details
Main Authors: Ali Selamat, author, Siti Dianah Abdul Bujang, 1984-, author, Md. Hafiz Selamat, author, International KES Symposium on Agents and Multi-Agent Systems Technologies and Applications (3rd : 2009 : Sweden)
Format:
Language:
Published: Skudai : Universiti Teknologi Malaysia, 2009

Similar Items