![Computer architecture / Computing / Software / Embedded operating systems / Finite automata / Finite-state machine / OSEK / Real-time operating system / Model checking / Kernel / Protection ring / Embedded system Computer architecture / Computing / Software / Embedded operating systems / Finite automata / Finite-state machine / OSEK / Real-time operating system / Model checking / Kernel / Protection ring / Embedded system](https://www.pdfsearch.io/img/574154e6893b116dbb8d7a2e9abf4783.jpg) Date: 2016-07-14 16:23:27Computer architecture Computing Software Embedded operating systems Finite automata Finite-state machine OSEK Real-time operating system Model checking Kernel Protection ring Embedded system | | Back to the Roots: Implementing the RTOS as a Specialized State Machine Christian Dietrich, Martin Hoffmann, Daniel Lohmann Department of Computer Science 4 - Distributed Systems and Operating Systems Friedrich-AlexanderAdd to Reading ListSource URL: www.mpi-sws.orgDownload Document from Source Website File Size: 1,20 MBShare Document on Facebook
|