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.

McAiT - A Timing Analyzer for Multicore Real-Time Software

Mingsong Lv, Nan Guan, Qingxu Deng, Ge Yu, Wang Yi 0001. McAiT - A Timing Analyzer for Multicore Real-Time Software. In Tevfik Bultan, Pao-Ann Hsiung, editors, Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings. Volume 6996 of Lecture Notes in Computer Science, pages 414-417, Springer, 2011. [doi]

Authors

Mingsong Lv

This author has not been identified. Look up 'Mingsong Lv' in Google

Nan Guan

This author has not been identified. Look up 'Nan Guan' in Google

Qingxu Deng

This author has not been identified. Look up 'Qingxu Deng' in Google

Ge Yu

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

Wang Yi 0001

This author has not been identified. Look up 'Wang Yi 0001' in Google
runs on