Jason Belt, John Hatcliff, Robby, John Shackleton, Jim Carciofini, Todd Carpenter, Eric Mercer, Isaac Amundson, Junaid Babar, Darren D. Cofer, David S. Hardin, Karl Hoech, Konrad Slind, Ihor Kuz, Kent Mcleod. Model-driven development for the seL4 microkernel using the HAMR framework. Journal of Systems Architecture, 134:102789, 2023. [doi]
Abstract is missing.