Searching for "Hierarchical Verification Using Verification Diagrams." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Hierarchical Verification using Verification Diagrams
by I. A. Browne, Z. Manna, H. B. Sipma — 1996
…Hierarchical Verification using Verification Diagrams ? In 2 nd Asian Computing Science…
Cited by 4 (4 self) – Add To MetaCart

NASA-CR-205329 "/ _ _'" " " Software Development Technologies for Reactive, Objective Real-Time, and Hybrid Systems
by P. I. Professor, Zohar Manna
… systems (see below). • Hierarchical Verification Diagrams: Graphical formalisms can facilitate the task…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB