To search, Click below search items. |
| All Published Papers Search Service |
|
|
|
Title |
An Approach to Slicing Concurrent Ada Programs Based on Program Reachability Graphs |
|
Author |
|
| Citation |
Vol. 6 No. 1 pp. 29~37 |
|
Keywords |
dependence analysis, slice, Ada, concurrent programs, reachability analysis |
|
Title |
Constructing the Reaching Region Graph for Timed Automata with PVS |
|
Author |
|
| Citation |
Vol. 6 No. 7 pp. 175-181 |
|
Keywords |
Timed Automata, Clock region, Region equivalence, Reachability analysis, PVS |
|
Title |
Modelling Data Flow in Smart Claim Processing Using Time Invariant Petri Net with Fixed Input Data |
|
Author |
Anokye Acheampong Amponsah, Adebayo Felix Adekoya, and Benjamin Asubam Weyori |
| Citation |
Vol. 22 No. 2 pp. 413-423 |
|
Keywords |
