Searching for "Rule-based refinement of high-level nets preserving safety properties." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

Rule-Based Refinement of High-Level Nets Preserving Safety Properties
by J. Padberg, M. Gajewsky, C. Ermel — 1998 — Fundamental approaches to Software Engineering
…Rule-Based Renement of High-Level Nets Preserving Safety Properties ? J. Padberg, M. Gajewsky, C…
Cited by 15 (13 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB