Automated Synthesis of Safe Timing Behaviors for Requirements Models Using CCSL - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Ming Hu 0003' in GoogleThis author has not been identified. Look up 'Jun Xia' in GoogleThis author has not been identified. Look up 'Min Zhang 0002' in GoogleThis author has not been identified. Look up 'Xiaohong Chen 0007' in GoogleThis author has not been identified. Look up 'Frédéric Mallet' in GoogleThis author has not been identified. Look up 'Mingsong Chen' in Google

runs on WebDSL