Dynamic model checking for multi agent e - business control and assurance /

PRZSL

Bibliographic Details
Main Authors: Siti Dianah Abdul Bujang, 1984-, author, Ali Selamat, author, Malaysian Software Engineering Conference (3rd : 2009 : Selangor)
Format:
Language:eng
Published: Skudai : Universiti Teknologi Malaysia, 2007