TY  - JOUR

T1  - Modelling Second-Order Uncertainty in State-Based Systems

JO  - IEEE Transactions on Software Engineering

PY  - 2023/02/20

AU  - Walkinshaw N

AU  - Hierons R

ED  - 

PB  - Institute of Electrical and Electronics Engineers

Y2  - 2024/12/21

ER  -