Papers and talks

Specification and automata theoryonion


Operating systems

(Please note that since February 2007, the trademark “RTLinux”  and the system, if any, called “RTLinux”, belongs to Wind River Systems – historical use in older papers is historical only.)

Historical papers on RTLinux (note that RTLinux is a trademark of Wind River Systems)


Security