Cover Image

Formal method-agent based verification design

Saved in:
Bibliographic Details
Main Authors: Abdul Bujang, Siti Dianah, Selamat, , Ali, Mohamad, Radziah
Format: Book Section
Published: Penerbit UTM 2008
Subjects:
QA75 Electronic computers. Computer science
Online Access:http://eprints.utm.my/id/eprint/19891/
Tags: Add Tag
No Tags, Be the first to tag this record!
id my.utm.19891
record_format eprints
spelling my.utm.198912011-12-29T01:03:27Z http://eprints.utm.my/id/eprint/19891/ Formal method-agent based verification design Abdul Bujang, Siti Dianah Selamat, , Ali Mohamad, Radziah QA75 Electronic computers. Computer science Penerbit UTM 2008 Book Section PeerReviewed 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
institution Universiti Teknologi Malaysia
building UTM Library
collection Institutional Repository
continent Asia
country Malaysia
content_provider Universiti Teknologi Malaysia
content_source UTM Institutional Repository
url_provider http://eprints.utm.my/
topic QA75 Electronic computers. Computer science
spellingShingle QA75 Electronic computers. Computer science
Abdul Bujang, Siti Dianah
Selamat, , Ali
Mohamad, Radziah
Formal method-agent based verification design
format Book Section
author Abdul Bujang, Siti Dianah
Selamat, , Ali
Mohamad, Radziah
author_facet Abdul Bujang, Siti Dianah
Selamat, , Ali
Mohamad, Radziah
author_sort Abdul Bujang, Siti Dianah
title Formal method-agent based verification design
title_short Formal method-agent based verification design
title_full Formal method-agent based verification design
title_fullStr Formal method-agent based verification design
title_full_unstemmed Formal method-agent based verification design
title_sort formal method-agent based verification design
publisher Penerbit UTM
publishDate 2008
url http://eprints.utm.my/id/eprint/19891/
_version_ 1643647151822077952
score 13.211869

Similar Items