Modeling of Interlocking Systems based on Patterns

Yan Wang, Wen Zhong, Xiaohong Chen 0001, Dehui Du. Modeling of Interlocking Systems based on Patterns. In Óscar Mortágua Pereira, editor, The 30th International Conference on Software Engineering and Knowledge Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3, 2018. pages 292-291, KSI Research Inc. and Knowledge Systems Institute Graduate School, 2018. [doi]

Authors

Yan Wang

This author has not been identified. Look up 'Yan Wang' in Google

Wen Zhong

This author has not been identified. Look up 'Wen Zhong' in Google

Xiaohong Chen 0001

This author has not been identified. Look up 'Xiaohong Chen 0001' in Google

Dehui Du

This author has not been identified. Look up 'Dehui Du' in Google