Publication | Closed Access

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

Model-based System EngineeringEngineeringHardware Verification LanguageElectronic Design AutomationComputer ArchitectureComputer EngineeringSystems EngineeringSoftware EngineeringSel4 MicrokernelHardware Description LanguageModeling And SimulationIndustrial InformaticsSystem SoftwareHardware Architecture