Formal method-agent based verification design
| Main Authors: | , , |
|---|---|
| Format: | Book Section |
| Published: |
Penerbit UTM
2008
|
| Subjects: |
| Main Authors: | , , |
|---|---|
| Format: | Book Section |
| Published: |
Penerbit UTM
2008
|
| Subjects: |