To search, Click below search items. |
| All Published Papers Search Service |
|
|
|
Title |
Diagram-Based Verification of Real-Time Systems using Timed Predicate Diagrams |
|
Author |
|
| Citation |
Vol. 6 No. 12 pp. 18-27 |
|
Keywords |
Reactive systems, real-time systems, verification, TLA, predicate diagrams. |
|
Title |
A New approach to Detect Safety Violations in UML Statechart Models |
|
Author |
|
| Citation |
Vol. 8 No. 7 pp. 167-174 |
|
Keywords |
