Universiti Teknologi Malaysia Institutional Repository

Dynamic model checking for multi-agent e-business control and assurances

Selamat, Ali and Abdul Bujang, Siti Dianah (2007) Dynamic model checking for multi-agent e-business control and assurances. In: The 3rd Malaysia Software Engineering Conference 2007, 12 – 13 December 2007, Kuala Lumpur, Malaysia.

Full text not available from this repository.

Abstract

Although many advanced techniques, methods and tools have been introduced during the past decades, we still have problems with implementation of high quality software.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Palace Beach & Spa (MINES), Selangor, 2007
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions:Computer Science and Information System (Formerly known)
ID Code:25080
Deposited By:INVALID USER
Deposited On:08 May 2012 05:14
Last Modified:19 Sep 2017 07:12

Repository Staff Only: item control page