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.

Parametrized Verification of Distributed Cyber-Physical Systems: An Aircraft Landing Protocol Case Study

Taylor T. Johnson, Sayan Mitra. Parametrized Verification of Distributed Cyber-Physical Systems: An Aircraft Landing Protocol Case Study. In 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, Beijing, China, April 17-19, 2012. pages 161-170, IEEE, 2012. [doi]

Authors

Taylor T. Johnson

This author has not been identified. Look up 'Taylor T. Johnson' in Google

Sayan Mitra

This author has not been identified. Look up 'Sayan Mitra' in Google
runs on