External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Rapid Verification of Embedded Systems Using Patterns

Wei-Tek Tsai, Lian Yu, Feng Zhu, Raymond A. Paul. Rapid Verification of Embedded Systems Using Patterns. In 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 3-6 November 2003, Dallas, TX, USA, Proceedings. pages 466-471, IEEE Computer Society, 2003. [doi]

Authors

Wei-Tek Tsai

This author has not been identified. Look up 'Wei-Tek Tsai' in Google

Lian Yu

This author has not been identified. Look up 'Lian Yu' in Google

Feng Zhu

This author has not been identified. Look up 'Feng Zhu' in Google

Raymond A. Paul

This author has not been identified. Look up 'Raymond A. Paul' in Google
runs on