Ming Hu 0003, Jun Xia, Min Zhang 0002, Xiaohong Chen 0007, Frédéric Mallet, Mingsong Chen. Automated Synthesis of Safe Timing Behaviors for Requirements Models Using CCSL. IEEE Trans. on CAD of Integrated Circuits and Systems, 42(12):5127-5140, December 2023. [doi]
No references recorded for this publication.
No citations of this publication recorded.