Model-driven development for the seL4 microkernel using the HAMR framework

Published in: Journal of Systems Architecture

Volume 134, pp. 102789-102789

DOI: 10.1016/j.sysarc.2022.102789