Dynamic model checking for multi-agent e-business control and assurances
Although many advanced techniques, methods and tools have been introduced during the past decades, we still have problems with implementation of high quality software.
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Conference or Workshop Item |
| Published: |
2007
|
| Subjects: | |
| Online Access: | http://eprints.utm.my/id/eprint/25080/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Universiti Teknologi Malaysia |
| id |
my.utm.25080 |
|---|---|
| record_format |
eprints |
| spelling |
my.utm.250802017-09-19T07:12:50Z http://eprints.utm.my/id/eprint/25080/ Dynamic model checking for multi-agent e-business control and assurances Selamat, Ali Abdul Bujang, Siti Dianah QA75 Electronic computers. Computer science Although many advanced techniques, methods and tools have been introduced during the past decades, we still have problems with implementation of high quality software. 2007 Conference or Workshop Item PeerReviewed 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. |
| 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 Selamat, Ali Abdul Bujang, Siti Dianah Dynamic model checking for multi-agent e-business control and assurances |
| description |
Although many advanced techniques, methods and tools have been introduced during the past decades, we still have problems with implementation of high quality software. |
| format |
Conference or Workshop Item |
| author |
Selamat, Ali Abdul Bujang, Siti Dianah |
| author_facet |
Selamat, Ali Abdul Bujang, Siti Dianah |
| author_sort |
Selamat, Ali |
| title |
Dynamic model checking for multi-agent e-business control and assurances |
| title_short |
Dynamic model checking for multi-agent e-business control and assurances |
| title_full |
Dynamic model checking for multi-agent e-business control and assurances |
| title_fullStr |
Dynamic model checking for multi-agent e-business control and assurances |
| title_full_unstemmed |
Dynamic model checking for multi-agent e-business control and assurances |
| title_sort |
dynamic model checking for multi-agent e-business control and assurances |
| publishDate |
2007 |
| url |
http://eprints.utm.my/id/eprint/25080/ |
| _version_ |
1643647552516521984 |