According to our database1, Mian Sun authored at least 4 papers between 2011 and 2014.
Legend:Book In proceedings Article PhD thesis Other
Modeling and model checking by modular approach.
Proceedings of the 36th International Conference on Software Engineering, 2014
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
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