K-branching UIO sequences for partially specified observable non-deterministic FSMs

El-Fakih, K., Hierons, R. orcid.org/0000-0002-4771-1446 and Turker, U.C. (Accepted: 2019) K-branching UIO sequences for partially specified observable non-deterministic FSMs. IEEE Transactions on Software Engineering. ISSN 0098-5589 (In Press)

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2019 IEEE.
Dates:
  • Accepted: 2 April 2019
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 16 Apr 2019 11:34
Last Modified: 16 Apr 2019 11:34
Status: In Press
Publisher: Institute of Electrical and Electronics Engineers
Refereed: Yes

Download

Accepted Version


Under temporary embargo

Filename: K_UIO_Final.pdf

Request a copy

Share / Export