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.

Model Checking Embedded Control Software using OS-in-the-Loop CEGAR

Dongwoo Kim, Yunja Choi. Model Checking Embedded Control Software using OS-in-the-Loop CEGAR. In 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019. pages 565-576, IEEE, 2019. [doi]

Authors

Dongwoo Kim

This author has not been identified. Look up 'Dongwoo Kim' in Google

Yunja Choi

This author has not been identified. Look up 'Yunja Choi' in Google
runs on