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.

Verifying cyber-physical systems by combining software model checking with hybrid systems reachability

Stanley Bak, Sagar Chaki. Verifying cyber-physical systems by combining software model checking with hybrid systems reachability. In 2016 International Conference on Embedded Software, EMSOFT 2016, Pittsburgh, Pennsylvania, USA, October 1-7, 2016. ACM, 2016. [doi]

Authors

Stanley Bak

This author has not been identified. Look up 'Stanley Bak' in Google

Sagar Chaki

This author has not been identified. Look up 'Sagar Chaki' in Google
runs on