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

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

Published in: J. Syst. Archit. (2023)

Keyphrases