Qingqing Sun

Affiliations:

Nanjing University, State Key Lab for Novel Software Technology, Department of Computer Science, China

According to our database¹, Qingqing Sun authored at least 4 papers in 2012.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2012

Timing Aspects Construction Using UML-MARTE Profile.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012

Qingqing Sun

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...