Universiti Teknologi Malaysia Institutional Repository

Formal method-agent based verification design

Abdul Bujang, Siti Dianah and Selamat, , Ali and Mohamad, Radziah (2008) Formal method-agent based verification design. In: Advances in Software Engineering : Research & Practice. Penerbit UTM , Johor, pp. 291-308. ISBN 978-983-52-0620-7

Full text not available from this repository.


Item Type:Book Section
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions:Computer Science and Information System (Formerly known)
ID Code:19891
Deposited By: Ms Zalinda Shuratman
Deposited On:29 Dec 2011 01:03
Last Modified:29 Dec 2011 01:03

Repository Staff Only: item control page