Xiaoxiang Zhai
According to our database1,
Xiaoxiang Zhai
authored at least 4 papers
in 2012.
Collaborative distances:
Collaborative distances:
Timeline
2012
0
1
2
3
4
5
4
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2012
HybridUML Based Verification of CPS Using Differential Dynamic Logic.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012
Verification of Cyber-Physical Systems Based on Differential-Algebraic Temporal Dynamic Logic.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012
A HybridUML and QdL Based Verification Method for CPS Self-Adaptability.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012
Proceedings of the 2012 12th International Conference on Quality Software, 2012