Automated Synthesis of Safe Timing Behaviors for Requirements Models Using CCSL
Article in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (June 2023)
The most recent citing publications are shown below. View all 12 publications that cite this research output on Dimensions.
Article in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (June 2023)
Conference proceeding (March 2020)
Preprint in arXiv (August 2019)