High assurance

Belt, J., Hatcliff, J., , Shackleton, J., Carciofini, J., Carpenter, T., … Mcleod, K. (2023). Model-driven development for the seL4 microkernel using the HAMR framework. Journal of Systems Architecture, 134, 102789. http://doi.org/https://doi.org/10.1016/j.sysarc.2022.102789
View
Feedback
Feedback
If you experience a bug or would like to see an addition on the current page, feel free to leave us a message.
Image CAPTCHA
Enter the characters shown in the image.
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.