TY  - JOUR

T1  - Κ-branching UIO sequences for partially specified observable non-deterministic FSMs

JO  - IEEE Transactions on Software Engineering

PY  - 2021/05/01

AU  - El-Fakih K

AU  - Hierons R

AU  - Turker UC

ED  - 

PB  - Institute of Electrical and Electronics Engineers (IEEE)

VL  - 47

IS  - 5

SP  - 1029

EP  - 1040

Y2  - 2025/11/05

ER  -