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

El-Fakih, Khaled and Hierons, Robert M. and Turker, Uraz Cengiz (2021) $\mathcal k$-branching uio sequences for partially specified observable non-deterministic fsms. IEEE Transactions on Software Engineering, 47 (5). pp. 1029-1040. ISSN 0098-5589

Full text not available from this repository.

Item Type:

Journal Article

Journal or Publication Title:

IEEE Transactions on Software Engineering

Uncontrolled Keywords:

/dk/atira/pure/subjectarea/asjc/1700/1712

Subjects:

?? software ??

Departments:

Faculty of Science and Technology > School of Computing & Communications

ID Code:

223266

Deposited By:

ep_importer_pure

Deposited On:

20 Aug 2024 12:30

Refereed?:

Yes

Published?:

Published

Last Modified:

20 Aug 2024 12:30

URI:

https://eprints.lancs.ac.uk/id/eprint/223266