Formally verifying consistency of sequence diagrams for safety critical systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xiaohong Chen, Qianqian Liu, Frédéric Mallet, Qin Li 0002, Shubin Cai, Zhi Jin. Formally verifying consistency of sequence diagrams for safety critical systems. Science of Computer Programming, 216:102777, 2022. [doi]

This author has not been identified. Look up 'Xiaohong Chen' in GoogleThis author has not been identified. Look up 'Qianqian Liu' in GoogleThis author has not been identified. Look up 'Frédéric Mallet' in GoogleThis author has not been identified. Look up 'Qin Li 0002' in GoogleThis author has not been identified. Look up 'Shubin Cai' in GoogleThis author has not been identified. Look up 'Zhi Jin' in Google

runs on WebDSL