Tony Tsang

Learn More
We consider models of telecommunication systems that incorporate probability, dense real-time and data. We present a new formal abstraction method for computing minimum and maximum reachability probabilities for such models. Our approach uses strictly local formal abstract steps to reduce both the size of abstract specifications generated and the complexity(More)
On behalf of all the ICACT2016 international conference committees, we would like to welcome all of you to ICACT2016. It is a great pleasure for us to host The ICACT is annual international conference in the communications field, where all experts from home and abroad come together to present their work, and share new ideas and visions for achieving the(More)