MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Rigorous development of embedded systems." – 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

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
… to facilitate the rigorous development of embedded systems. Specifically, we have tools to support the graphical…
Add To MetaCart

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
…, methods for modeling and developing embedded systems and rigorously verifying behavior before committing…
Cited by 1 (1 self) – Add To MetaCart

Object analysis patterns for embedded systems
by Sascha Konrad, Student Member, Betty H. C. Cheng, Senior Member, Laura A. Campbell — 2004 — IEEE Transactions on Software Engineering
…/analysis and formalization frameworks and tools that facilitate the rigorous development of embedded systems [8], [40…
Cited by 7 (6 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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