Similar Items: Kernel support for embedded reactive systems
- A kernel to support computer-aided verification of embedded software
- An efficient kernel to support the client-server model
- Micro-kernel support for a lightweight extensible workstation operating system
- A development environment for reactive systems
- On providing an efficient and reliable virtual block storage service
- LF : a language for reliable embedded systems