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

Title:
$\mathcal k$-branching uio sequences for partially specified observable non-deterministic fsms
Authors:
El-Fakih, K., Hierons, R.M., Turker, U.C.
Source:
IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 47(5):1029-1040 May, 2021
Database:
IEEE Xplore Digital Library