Towards Reusable Formal Models for Custom Real-Time Operating Systems.
Julius AdeltJulian GebkerPaula HerberPublished in: FMICS (2022)
Keyphrases
- operating system
- formal models
- real time
- multi threaded
- computer systems
- rule based systems
- process model
- formal model
- virtual machine
- microsoft windows
- windows xp
- linux kernel
- multi tasking
- distributed systems
- application programs
- windows nt
- databases
- memory management
- real time systems
- database
- knowledge representation
- virtual memory
- machine learning