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]
@article{BeltHRSCCMABCHH23,
title = {Model-driven development for the seL4 microkernel using the HAMR framework},
author = {Jason Belt and John Hatcliff and Robby and John Shackleton and Jim Carciofini and Todd Carpenter and Eric Mercer and Isaac Amundson and Junaid Babar and Darren D. Cofer and David S. Hardin and Karl Hoech and Konrad Slind and Ihor Kuz and Kent Mcleod},
year = {2023},
doi = {10.1016/j.sysarc.2022.102789},
url = {https://doi.org/10.1016/j.sysarc.2022.102789},
researchr = {https://researchr.org/publication/BeltHRSCCMABCHH23},
cites = {0},
citedby = {0},
journal = {Journal of Systems Architecture},
volume = {134},
pages = {102789},
}