To search, Click below search items. |
| All Published Papers Search Service |
|
|
|
Title |
|
|
Author |
|
| Citation |
Vol. 6 No. 1 pp. 136~146 |
|
Keywords |
Certificate, Workflow, Service Computing, Web Service, Time Constraint, QoS, Temporal Logic |
|
Title |
A Formal Verification Case Study for IEEE-P.896 Bus Arbiter by using A Model Checking Tool |
|
Author |
|
| Citation |
Vol. 7 No. 3 pp. 184-192 |
|
Keywords |
Formal Verification, Model Checking, Temporal Logic, Bus Arbiter, Hardware Description Languages |
