Prof. Xuandong LI
Time:2015-09-07 11:37 Source:未知 Author:chenxiaoqing  Click: 69

 Formal support for design and analysis of reactive, disturbed, real-time, hybrid, and cyber-physical systems; Software testing and verification; Model driven software development; Service oriented computing.