MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Interfacing ASM with the MDG Tool." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

ATOM

Interfacing ASM with the MDG Tool
by Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter — 2003
…Interfacing ASM with the MDG Tool Amjad Gawanmeh 1 , Soene Tahar 1 , and Kirsten Winter 2 1…
Cited by 1 (1 self) – Add To MetaCart

A Tool for Verifying ASM Models Using Multiway Decision Graphs
by Amjad Gawanmeh, Sofiéne Tahar, Kirsten Winter — 2003
… to interface ASM with the MDG tool for three reasons: first, both notions, ASM and MDGs, are closely related…
Add To MetaCart

Formal Verification of ASM Designs Using the MDG Tool
by Amjad Gawanmeh, Sofiene Tahar, Kirsten Winter — 2003 — Software Engineering and Formal Methods, IEEE Computer Society
… framework linking ASM with MDG as shown in Figure 1. We chose to interface ASM with the MDG tool for three…
Cited by 2 (2 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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