EHSTM: a formal model of embedded software and research on several key issues
Article in CCF Transactions on High Performance Computing (November 2021)
The most recent citing publications are shown below. View all 5 publications that cite this research output on Dimensions.
Article in CCF Transactions on High Performance Computing (November 2021)
Article in IEEE Transactions on Control Systems Technology (August 2017)
Article in Journal of Physics D (May 2016)