Formal Behavioral Modeling of Real-time Operating Systems.
Cédrick LelionnaisMatthias BrunJérôme DelatourOlivier H. RouxCharlotte SeidnerPublished in: ICEIS (2) (2012)
Keyphrases
- operating system
- real time
- multi threaded
- computer systems
- linux kernel
- microsoft windows
- virtual machine
- memory management
- distributed systems
- real time systems
- windows xp
- virtual memory
- application programs
- relational databases
- multi tasking
- address space
- discretionary access control
- windows nt
- db universal database
- data mining
- databases