Mian Sun

According to our database1, Mian Sun authored at least 4 papers between 2011 and 2014.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2014
Modeling and model checking by modular approach.
Proceedings of the 36th International Conference on Software Engineering, 2014

2013
Formal Modeling and Verification for MVB.
J. Applied Mathematics, 2013

Design and implementation of automatic verification for PLC systems.
Proceedings of the IEEE 12th International Conference on Cognitive Informatics and Cognitive Computing, 2013

2011
Learning Software Engineering through Experience of ACM-ICPC Training and Practicing Exercises.
Proceedings of the Frontiers in Computer Education [International Conference on Frontiers in Computer Education, 2011


  Loading...