Registered user since Thu 2 Aug 2018

Name:Guoxin Su
Affiliation:University of Wollongong, Australia
Research interests:Formal verification, probabilistic reasoning, big data

Contributions

ESEC/FSE 2018 Verifying the Long-Run Behavior of Probabilistic System Models in the Presence of Uncertainty
Show activities from other conferences

ESEC/FSE 2018-profile
View general profile