학술논문 – 법학도서관

학술논문

replay검색결과 돌아가기

search검색화면

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

Document Type

Article

Author

Belt, Jason; Hatcliff, John; Robby; Shackleton, John; Carciofini, Jim; Carpenter, Todd; Mercer, Eric; Amundson, Isaac; Babar, Junaid; Cofer, Darren; Hardin, David; Hoech, Karl; Slind, Konrad; Kuz, Ihor; Mcleod, Kent

Source

In Journal of Systems Architecture January 2023 134

Subject

Language

ISSN

1383-7621

Online Access

Full Text (ScienceDirect 종량제) Web of Science JCR 저널정보 Scopus Find it@PNU

이메일