201905/03Fri Talk Transition Calculus: An Illustration of Modeling and Derivation on POMPs and POMMs 陳俊英 10:00-11:30 Hongjing Hall M107 20190503_ 陳俊英演講