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 publication is shown below. View this citation on Dimensions.
Article in CCF Transactions on High Performance Computing (November 2021)