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.

SMT-Based Bounded Model Checking of Embedded Assembly Program with Interruptions

Kousuke Uemura, Satoshi Yamane. SMT-Based Bounded Model Checking of Embedded Assembly Program with Interruptions. In 2019 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress, DASC/PiCom/CBDCom/CyberSciTech 2019, Fukuoka, Japan, August 5-8, 2019. pages 633-639, IEEE, 2019. [doi]

Authors

Kousuke Uemura

This author has not been identified. Look up 'Kousuke Uemura' in Google

Satoshi Yamane

This author has not been identified. Look up 'Satoshi Yamane' in Google
runs on