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.

iArch-U/MC: An Uncertainty-Aware Model Checker for Embracing Known Unknowns

Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato. iArch-U/MC: An Uncertainty-Aware Model Checker for Embracing Known Unknowns. In Leszek A. Maciaszek, Marten van Sinderen, editors, Proceedings of the 13th International Conference on Software Technologies, ICSOFT 2018, Porto, Portugal, July 26-28, 2018. pages 210-218, SciTePress, 2018. [doi]

Authors

Naoyasu Ubayashi

This author has not been identified. Look up 'Naoyasu Ubayashi' in Google

Yasutaka Kamei

This author has not been identified. Look up 'Yasutaka Kamei' in Google

Ryosuke Sato

This author has not been identified. Look up 'Ryosuke Sato' in Google
runs on