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.

Formal verification of energy and timed requirements for a cooperative automotive system

Eun-Young Kang, Li Huang, Dongrui Mu. Formal verification of energy and timed requirements for a cooperative automotive system. In Hisham M. Haddad, Roger L. Wainwright, Richard Chbeir, editors, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018. pages 1492-1499, ACM, 2018. [doi]

Authors

Eun-Young Kang

This author has not been identified. Look up 'Eun-Young Kang' in Google

Li Huang

This author has not been identified. Look up 'Li Huang' in Google

Dongrui Mu

This author has not been identified. Look up 'Dongrui Mu' in Google
runs on