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 Dynamic and Stochastic Behaviors for Automotive Systems

Li Huang, Tian Liang, Eun-Young Kang 0001. Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems. In Jun Pang 0001, Jing Sun 0002, editors, 24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019, Guangzhou, China, November 10-13, 2019. pages 11-20, IEEE, 2019. [doi]

Authors

Li Huang

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

Tian Liang

This author has not been identified. Look up 'Tian Liang' in Google

Eun-Young Kang 0001

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