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 WindRiverSystems)


Security

One Response to Papers and talks

  1. Pingback: Papers and talks at keeping simple

Leave a Reply

Your email address will not be published. Required fields are marked *

*

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>