Xiaopu Huang

According to our database1, Xiaopu Huang authored at least 4 papers in 2012.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2012
Timing Aspects Construction Using UML-MARTE Profile.
Proceedings of the Trustworthy Computing and Services - International Conference, ISCTCS 2012, Beijing, China, May 28, 2012

Composition of AADL Components by Transformation to Interface Automata.
Proceedings of the Trustworthy Computing and Services - International Conference, ISCTCS 2012, Beijing, China, May 28, 2012

MDE-Based Verification of SysML State Machine Diagram by UPPAAL.
Proceedings of the Trustworthy Computing and Services - International Conference, ISCTCS 2012, Beijing, China, May 28, 2012

An MDE-based approach to the verification of SysML state machine diagram.
Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012


  Loading...