Published in
Elsevier, Science of Computer Programming, (216), p. 102777, 2022
DOI: 10.1016/j.scico.2022.102777
Links
Tools
Formally verifying consistency of sequence diagrams for safety critical systems
Journal article published in 2022 by
Xiaohong Chen 
,
Qianqian Liu ,
Frédéric Mallet,
Qin Li ,
Shubin Cai,
Zhi Jin
,
Qianqian Liu ,
Frédéric Mallet,
Qin Li ,
Shubin Cai,
Zhi Jin
This paper was not found in any repository, but could be made available legally by the author.
Full text: Unavailable
Published version:
archiving forbidden
Data provided by 