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.

Validated Numerics Meets Reachability Analysis for CPS Design (NII Shonan Meeting 2015-14)

Daisuke Ishii, Kohei Suenaga, Walid Taha, September 28-. Validated Numerics Meets Reachability Analysis for CPS Design (NII Shonan Meeting 2015-14). NII Shonan Meet. Rep., 2015, 2015. [doi]

Authors

Daisuke Ishii

This author has not been identified. Look up 'Daisuke Ishii' in Google

Kohei Suenaga

This author has not been identified. Look up 'Kohei Suenaga' in Google

Walid Taha

This author has not been identified. It may be one of the following persons: Look up 'Walid Taha' in Google

September 28-

This author has not been identified. Look up 'September 28-' in Google
runs on