1![Model Checking Multitask Applications for OSEK Compliant Real Time Operating Systems Mark L. McKelvin, Jr. and Gerard Holzmann Jet Propulsion Laboratory, Laboratory for Reliable Software California Institute of Technolog Model Checking Multitask Applications for OSEK Compliant Real Time Operating Systems Mark L. McKelvin, Jr. and Gerard Holzmann Jet Propulsion Laboratory, Laboratory for Reliable Software California Institute of Technolog](https://www.pdfsearch.io/img/d4af1f370b9930dd3c1704edcd158509.jpg) | Add to Reading ListSource URL: spinroot.com- Date: 2013-08-11 14:51:27
|
---|
2![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-Alexander 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-Alexander](https://www.pdfsearch.io/img/574154e6893b116dbb8d7a2e9abf4783.jpg) | Add to Reading ListSource URL: www.mpi-sws.orgLanguage: English - Date: 2016-07-14 16:23:27
|
---|
3![OSPERT 2015 Keynote Talk Software Architectures for Advanced Driver Assistance Systems (ADAS) Robert Leibinger Elektrobit Automotive GmbH In recent years, the demand for electronic control units (ECUs) has been rapidly g OSPERT 2015 Keynote Talk Software Architectures for Advanced Driver Assistance Systems (ADAS) Robert Leibinger Elektrobit Automotive GmbH In recent years, the demand for electronic control units (ECUs) has been rapidly g](https://www.pdfsearch.io/img/d02ba6fb62107b2a6f0e19e25d9b4dac.jpg) | Add to Reading ListSource URL: www.mpi-sws.orgLanguage: English - Date: 2016-07-14 16:23:27
|
---|
4![Die jungen Feuerwehrleute aus Osek, hier beim Bierkastenstapeln, holten sich die Bronzemedaille. Foto: Peter Hertel Die Nachbarn sind nicht zu schlagen Die jungen Feuerwehrleute aus Osek, hier beim Bierkastenstapeln, holten sich die Bronzemedaille. Foto: Peter Hertel Die Nachbarn sind nicht zu schlagen](https://www.pdfsearch.io/img/bc814a9df6db21bcf37b621ebe37083b.jpg) | Add to Reading ListSource URL: www.euroregion-erzgebirge.deLanguage: German - Date: 2011-09-16 08:33:48
|
---|
5![KESO An Open-Source Multi-JVM for Deeply Embedded Systems Isabella Thomm, Michael Stilkerich, Christian Wawersich, Wolfgang Schröder-Preikschat KESO An Open-Source Multi-JVM for Deeply Embedded Systems Isabella Thomm, Michael Stilkerich, Christian Wawersich, Wolfgang Schröder-Preikschat](https://www.pdfsearch.io/img/8bd3ce7e314f9513d5f76574f0d62ba4.jpg) | Add to Reading ListSource URL: d3s.mff.cuni.czLanguage: English - Date: 2010-08-17 06:40:02
|
---|
6![Herzliche Einladung zum Konzert des Kinderchores „Korálek“ und seines Vorchores „Perlička“. Kloster Osek – 14. Oktober 16 Uhr
Herzliche Einladung zum Konzert des Kinderchores „Korálek“ und seines Vorchores „Perlička“. Kloster Osek – 14. Oktober 16 Uhr](https://www.pdfsearch.io/img/ea62990eda4c21c598998d972bc90797.jpg) | Add to Reading ListSource URL: www.euroregion-erzgebirge.de- Date: 2012-10-11 02:58:16
|
---|
7![„Ostern auf dem Klostergut“ am., im ITC Osek – Verkaufsausstellung (Ostereierverzieren, Rutenflechten, Handwerkskunst, Osterspezialitäten – DDM Osek und Arkadie Teplice stellen sich mit ihren Ku „Ostern auf dem Klostergut“ am., im ITC Osek – Verkaufsausstellung (Ostereierverzieren, Rutenflechten, Handwerkskunst, Osterspezialitäten – DDM Osek und Arkadie Teplice stellen sich mit ihren Ku](https://www.pdfsearch.io/img/05ca6eecdb24af13e0519f768d0d7660.jpg) | Add to Reading ListSource URL: www.euroregion-erzgebirge.de- Date: 2013-03-22 08:59:04
|
---|
8![Die Ausstellung findet in der Galerie des Touristen-Informationszentrums in den Räumen des Oseker Klosters mit Unterstützung der Stadt Osek statt. Die Vernissage findet am Sonntag, Die Ausstellung findet in der Galerie des Touristen-Informationszentrums in den Räumen des Oseker Klosters mit Unterstützung der Stadt Osek statt. Die Vernissage findet am Sonntag,](https://www.pdfsearch.io/img/270b7893bd31993adb386219dad57425.jpg) | Add to Reading ListSource URL: www.euroregion-erzgebirge.de- Date: 2013-01-28 10:13:18
|
---|
9![JÍZDNÍ ŘÁD 2014 – 2015 platí od 14. června 2015 u 020 (Praha -) Velký Osek - Hradec Králové - Choceň km SŽDC, státní organizace / ČD, a.s. JÍZDNÍ ŘÁD 2014 – 2015 platí od 14. června 2015 u 020 (Praha -) Velký Osek - Hradec Králové - Choceň km SŽDC, státní organizace / ČD, a.s.](https://www.pdfsearch.io/img/687a1839a033d3cced7f7427a20af0bb.jpg) | Add to Reading ListSource URL: www.szdc.czLanguage: Czech |
---|
10![](/pdf-icon.png) | Add to Reading ListSource URL: www.lauterbach.comLanguage: German - Date: 2014-06-04 03:40:24
|
---|