MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Requirements Patterns-Driven Approach to Specify Systems and Check Properties." – 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.

ATOM

A requirements patterns-driven approach to specify systems and check properties
by Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng — 2003 — Model Checking Software, number 2648 in Lecture Notes in Computer Science
…A Requirements Patterns-Driven Approach to Specify Systems and Check Properties ⋆ Sascha Konrad…
Cited by 1 (1 self) – Add To MetaCart

Model Checking Software, 10th International SPIN Workshop, Portland, OR, USA, May 2003, Proceedings
by Requirements Patterns-Driven Approach, Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng, Min Deng — 2002
…, Proceedings A Requirements Patterns-Driven Approach to Specify Systems and Check Properties ⋆ Sascha Konrad…
Add To MetaCart

Showing 1 through 2.

ATOM

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