Applying timed interval calculus to simulink diagrams

by Chunqing, C., Jin, S.D.
Published 2013

Towards expressive specification and efficient model checking

by Jin, S.D., Sun, J.
Published 2013

Modeling and customization of fault tolerant architecture using object-Z/XVCL

by Ling, Y., Jin, S.D., Jing, S.
Published 2013

Integrating specification and programs for system modeling and verification

by Sun, J., Liu, Y., Jin, S.D., Chen, C.
Published 2013

Modelling collaboration networks based on nonlinear preferential attachment

by Zhou, T., Wang, B.-H., Jin, Y.-D.I., He, D.A.-R., Zhang, P.-P., He, Y., Su, B.-B., Chen, K., Zhang, Z.-Z., Liu, J.-G.
Published 2014