Implementing a hardware‐assisted memory management mechanism for ARM platforms using the B method
Article in Concurrency and Computation Practice and Experience (August 2018)
The most recent citing publications are shown below. View all 2 publications that cite this research output on Dimensions.
Article in Concurrency and Computation Practice and Experience (August 2018)
Article in IEEE Transactions on Circuits and Systems I Regular Papers (May 2017)