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.

$\mathcal K$K-Branching UIO Sequences for Partially Specified Observable Non-Deterministic FSMs

Khaled El-Fakih, Robert M. Hierons, Uraz Cengiz Türker. $\mathcal K$K-Branching UIO Sequences for Partially Specified Observable Non-Deterministic FSMs. IEEE Trans. Software Eng., 47(5):1029-1040, 2021. [doi]

Authors

Khaled El-Fakih

This author has not been identified. Look up 'Khaled El-Fakih' in Google

Robert M. Hierons

This author has not been identified. Look up 'Robert M. Hierons' in Google

Uraz Cengiz Türker

This author has not been identified. Look up 'Uraz Cengiz Türker' in Google
runs on