To search, Click below search items.

 

All Published Papers Search Service

Results for predicate diagrams.; Total 1

Title

Diagram-Based Verification of Real-Time Systems using Timed Predicate Diagrams

Author

Cecilia E. Nugraheni
Citation

Vol. 6  No. 12  pp. 18-27

Keywords

Reactive systems, real-time systems, verification, TLA, predicate diagrams.

[1]