TY  - JOUR

T1  - Modelling second-order uncertainty in state machines

JO  - IEEE Transactions on Software Engineering

UR  - https://eprints.whiterose.ac.uk/id/eprint/196630

PY  - 2023/03/02

AU  - Walkinshaw N

AU  - Hierons R

ED  - 

DO  - DOI: 10.1109/TSE.2023.3250835

PB  - Institute of Electrical and Electronics Engineers

VL  - 49

IS  - 5

SP  - 3261

EP  - 3276

Y2  - 2025/11/05

ER  -