Operating System Sensitive Device Driver Synthesis from Implementation Independent Protocol Specification.
Mattias O'NilsAxel JantschPublished in: DATE (1999)
Keyphrases
- operating system
- protocol specification
- memory management
- computer systems
- operating environment
- application level
- distributed systems
- virtual memory
- microsoft windows
- communication protocols
- windows xp
- address space
- formal specification
- virtual machine
- information systems
- multi tasking
- wireless networks
- interprocess communication
- red hat