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.

Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSP

Björn Bartels, Sabine Glesner. Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSP. In Tran Dan Thu, Karl R. P. H. Leung, editors, 2011 18th Asia Pacific Software Engineering Conference, Ho Chi Minh, Vietnam, December 5-8, 2011. pages 195-202, IEEE, 2011. [doi]

Authors

Björn Bartels

This author has not been identified. Look up 'Björn Bartels' in Google

Sabine Glesner

This author has not been identified. Look up 'Sabine Glesner' in Google
runs on