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.
Disimpan dalam:
| Pengarang-pengarang Utama: | , |
|---|---|
| Format: | Conference or Workshop Item |
| Diterbitkan: |
2007
|
| Subjek-subjek: | |
| Capaian Atas Talian: | http://eprints.utm.my/25080/ |
| Penanda-penanda: |
Tambah Penanda
Tiada Penanda, Jadilah orang pertama menanda rekod ini!
|
| Ringkasan: | Although many advanced techniques, methods and tools have been introduced during the past decades, we still have problems with implementation of high quality software. |
|---|