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]
No reviews for this publication, yet.