Home > Research > Publications & Outputs > $\mathcal k$-branching uio sequences for partia...

Research

Links

Text available via DOI:

View graph of relations

$\mathcal k$-branching uio sequences for partially specified observable non-deterministic fsms

Research output: Contribution to Journal/Magazine › Journal article › peer-review

Published

Standard

$\mathcal k$-branching uio sequences for partially specified observable non-deterministic fsms. / El-Fakih, Khaled; Hierons, Robert M.; Turker, Uraz Cengiz.
In: IEEE Transactions on Software Engineering, Vol. 47, No. 5, 01.05.2021, p. 1029-1040.

Research output: Contribution to Journal/Magazine › Journal article › peer-review

Harvard

El-Fakih, K, Hierons, RM & Turker, UC 2021, '$\mathcal k$-branching uio sequences for partially specified observable non-deterministic fsms', IEEE Transactions on Software Engineering, vol. 47, no. 5, pp. 1029-1040. https://doi.org/10.1109/TSE.2019.2911076

APA

El-Fakih, K., Hierons, R. M., & Turker, U. C. (2021). $\mathcal k$-branching uio sequences for partially specified observable non-deterministic fsms. IEEE Transactions on Software Engineering, 47(5), 1029-1040. https://doi.org/10.1109/TSE.2019.2911076

Vancouver

El-Fakih K, Hierons RM, Turker UC. $\mathcal k$-branching uio sequences for partially specified observable non-deterministic fsms. IEEE Transactions on Software Engineering. 2021 May 1;47(5):1029-1040. Epub 2019 Apr 14. doi: 10.1109/TSE.2019.2911076

Author

El-Fakih, Khaled ; Hierons, Robert M. ; Turker, Uraz Cengiz. / $\mathcal k$-branching uio sequences for partially specified observable non-deterministic fsms. In: IEEE Transactions on Software Engineering. 2021 ; Vol. 47, No. 5. pp. 1029-1040.

Bibtex

@article{80124637e19f4b7199ec197cc09d8819,
title = "$\mathcal k$-branching uio sequences for partially specified observable non-deterministic fsms",
author = "Khaled El-Fakih and Hierons, {Robert M.} and Turker, {Uraz Cengiz}",
year = "2021",
month = may,
day = "1",
doi = "10.1109/TSE.2019.2911076",
language = "English",
volume = "47",
pages = "1029--1040",
journal = "IEEE Transactions on Software Engineering",
issn = "0098-5589",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
number = "5",

}

RIS

TY - JOUR

T1 - $\mathcal k$-branching uio sequences for partially specified observable non-deterministic fsms

AU - El-Fakih, Khaled

AU - Hierons, Robert M.

AU - Turker, Uraz Cengiz

PY - 2021/5/1

Y1 - 2021/5/1

U2 - 10.1109/TSE.2019.2911076

DO - 10.1109/TSE.2019.2911076

M3 - Journal article

VL - 47

SP - 1029

EP - 1040

JO - IEEE Transactions on Software Engineering

JF - IEEE Transactions on Software Engineering

SN - 0098-5589

IS - 5

ER -