The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for OSEK with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1996-2005 (16) 2006-2008 (19) 2009-2011 (17) 2012-2015 (19) 2016-2018 (16) 2019-2022 (4)
Publication types (Num. hits)
article(14) incollection(1) inproceedings(76)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 18 occurrences of 18 keywords

Results
Found 91 publication records. Showing 91 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
129Franck Bimbard, Laurent George 0001 EDF Feasibility Conditions with Kernel Overheads on an Event Driven OSEK System. Search on Bibsonomy ICONS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Real-time dimensioning, OSEK, Earliest Dealine First, kernel overheads, feasibility condition
81Michael Stilkerich, Christian Wawersich, Andreas Gal, Wolfgang Schröder-Preikschat, Michael Franz OSEK/VDX API for Java. Search on Bibsonomy PLOS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
81François Lagarde, Ansgar Radermacher, Sylvain Robert, Sébastien Gérard, David Servat Issues in mapping CORBA Component Model to OSEK. Search on Bibsonomy ISORC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
81Lei Wang 0023, Zhaohui Wu 0001, Mingde Zhao Worst-Case Response Time Analysis for OSEK/VDX Compliant Real-Time Distributed Control Systems. Search on Bibsonomy COMPSAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
62Claas Diederichs, Ulrich Margull, Frank Slomka, Gerhard Wirrer An application-based EDF scheduler for OSEK/VDX. Search on Bibsonomy DATE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
62Xin Qiao, Zhixue Wang, Yuan Sun, Feng He, Fei-Yue Wang 0001 A CAN and OSEK NM Based Siren for Automobiles. Search on Bibsonomy ICNSC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
62Franck Bimbard, Laurent George 0001 FP/FIFO Feasibility Conditions with Kernel Overheads for Periodic Tasks on an Event Driven OSEK System. Search on Bibsonomy ISORC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
62Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Yvon Trinquet Trampoline An Open Source Implementation of the OSEK/VDX RTOS Specification. Search on Bibsonomy ETFA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
62Zhaohui Wu 0001, Hong Li, Zhigang Gao, Jie Sun 0003, Jiang Li An Improved Method of Task Context Switching in OSEK Operating System. Search on Bibsonomy AINA (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
62Franck Bimbard, Laurent George 0001 On the conception of an autonomous and modular robot based on an Event Driven OSEK System with deterministic real-time behavior. Search on Bibsonomy ICAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
54Lin Zhou, Min Yao, Yongjun Li, Chengshuo Zhang, Liujie Yao A New Specification-based Test Data Generation Strategy for OSEK OS. Search on Bibsonomy CIT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Kuhn-Munkres Algorithms, OSEK OS, Genetic Algorithms, Specification-based Test
48Libor Waszniowski, Zdenek Hanzálek Formal verification of multitasking applications based on timed automata model. Search on Bibsonomy Real Time Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF OSEK/VDX, Model-checking, Verification, Formal methods, Timed automata, Multitasking
43Alan Moore Extending the RT Profile to Support the OSEK Infrastructure. Search on Bibsonomy Symposium on Object-Oriented Real-Time Distributed Computing The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
29Isabella Thomm, Michael Stilkerich, Christian Wawersich, Wolfgang Schröder-Preikschat KESO: an open-source multi-JVM for deeply embedded systems. Search on Bibsonomy JTRES The full citation details ... 2010 DBLP  DOI  BibTeX  RDF KESO, OSEK/VDX, spatial isolation, Java, embedded systems, memory protection, AUTOSAR
24Haitao Zhang, Bowen Pu Testing Vehicle-Mounted Systems: A Stepwise Symbolic Execution Approach for OSEK/VDX Programs. Search on Bibsonomy TASE The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Yanhong Huang, Haiping Pang, Jianqi Shi Modeling and Verification of A Timing Protection Mechanism in the OSEK/VDX OS using CSP. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Berkay Saydam, Tolga Ayav Evaluation of Scheduling Architectures for OSEK/VDX Compliant Hard Real-Time Operating Systems. Search on Bibsonomy UYMS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Reinder J. Bril, Sebastian Altmeyer, Paolo Gai Stack memory requirements of AUTOSAR/OSEK-compliant scheduling policies. Search on Bibsonomy RTCSA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Haitao Zhang, Zhuo Cheng, Guoqiang Li 0001, Shaoying Liu autoC: an efficient translator for model checking deterministic scheduler based OSEK/VDX applications. Search on Bibsonomy Sci. China Inf. Sci. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Yunja Choi A configurable V&V framework using formal behavioral patterns for OSEK/VDX operating systems. Search on Bibsonomy J. Syst. Softw. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Tarun Gupta 0001, Erik J. Luit, Martijn M. H. P. van den Heuvel, Reinder J. Bril Experience Report: Towards Extending an OSEK-Compliant RTOS with Mixed Criticality Support. Search on Bibsonomy e Informatica Softw. Eng. J. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Haitao Zhang, Guoqiang Li 0001, Zhuo Cheng, Jinyun Xue Verifying OSEK/VDX automotive applications: A Spin-based model checking approach. Search on Bibsonomy Softw. Test. Verification Reliab. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Jean-Luc Béchennec, Olivier Henry Roux, Tigori Kabland Toussaint Gautier Formal model-based conformance verification of an OSEK/VDX compliant RTOS. Search on Bibsonomy CoDIT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Christian Dietrich 0001, Daniel Lohmann OSEK-V: application-specific RTOS instantiation in hardware. Search on Bibsonomy LCTES The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
24Leo Hatvani, Reinder J. Bril, Sebastian Altmeyer Schedulability using native non-preemptive groups on an AUTOSAR/OSEK platform with caches. Search on Bibsonomy DATE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
24Yoohee Chung, Dongwoo Kim, Yunja Choi Modeling OSEK/VDX OS Requirements in C. Search on Bibsonomy APSEC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
24Haitao Zhang, Zhuo Cheng, Jianxin Xue, Yonggang Lu Boosting Uppaal for OSEK/VDX Applications with a Sequentialization Approach. Search on Bibsonomy SOFL+MSVL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
24Hans-Peter Deifel, Merlin Göttlinger, Stefan Milius, Lutz Schröder, Christian Dietrich 0001, Daniel Lohmann Automatic verification of application-tailored OSEK kernels. Search on Bibsonomy FMCAD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
24Min Zhang 0002, Toshiaki Aoki, Yueying He A spiral process of formalization and verification: A case study on verification of the scheduling mechanism of OSEK/VDX. Search on Bibsonomy J. Inf. Secur. Appl. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Yian Zhu, Runzhi Wei, Shiyou Su, Shujuan Huang 一种基于μC/OS-II符合OSEK标准的实时系统内核设计 (Real-time Kernel Design Based on μC/OS-II and Meeting OSEK Standard). Search on Bibsonomy 计算机科学 The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Haitao Zhang, Zhuo Cheng, Cong Tian, Yonggang Lu, Guoqiang Li 0001 Verifying OSEK/VDX applications: An optimized SMT-based bounded model checking approach. Search on Bibsonomy ICIS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Leo Hatvani, Reinder J. Bril Minimizing stack usage for AUTOSAR/OSEK's restricted fixed-priority preemption threshold support. Search on Bibsonomy SIES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Vincenzo Apuzzo, Alessandro Biondi 0001, Giorgio C. Buttazzo OSEK-Like Kernel Support for Engine Control Applications under EDF Scheduling. Search on Bibsonomy RTAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki Verifying OSEK/VDX OS Design Using Its Formal Specification. Search on Bibsonomy TASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Haitao Zhang, Toshiaki Aoki, Yuki Chiba Verifying OSEK/VDX Applications: A Sequentialization-Based Model Checking Approach. Search on Bibsonomy IEICE Trans. Inf. Syst. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24Haitao Zhang, Toshiaki Aoki, Yuki Chiba Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications. Search on Bibsonomy ICST The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24Zhuo Cheng, Haitao Zhang, Yasuo Tan, Yuto Lim A Case Study: SOFL + Model Checking for OSEK/VDX Application. Search on Bibsonomy SOFL+MSVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24Matthias Becker 0004, Nima Moghaddami Khalilzad, Reinder J. Bril, Thomas Nolte Extended support for limited preemption fixed priority scheduling for OSEK/AUTOSAR-compliant operating systems. Search on Bibsonomy SIES The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24Leo Hatvani, Reinder J. Bril Schedulability using native non-preemptive groups on an AUTOSAR/OSEK platform. Search on Bibsonomy ETFA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24Atsushi Ohno, Takuya Azumi, Nobuhiko Nishio TECS Components Providing Functionalities of OSEK Specifications for ITRON OS. Search on Bibsonomy J. Inf. Process. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
24Haitao Zhang, Toshiaki Aoki, Yuki Chiba A Spin-Based Approach for Checking OSEK/VDX Applications. Search on Bibsonomy FTSCS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
24Min Zhang 0002, Yunja Choi, Kazuhiro Ogata 0001 A Formal Semantics of the OSEK/VDX Standard in $${\mathbb {K}}$$ Framework and Its Applications. Search on Bibsonomy WRLA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
24Yunja Choi Model Checking an OSEK/VDX-Based Operating System for Automobile Safety Analysis. Search on Bibsonomy IEICE Trans. Inf. Syst. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
24Haitao Zhang, Toshiaki Aoki, Hsin-Hung Lin, Min Zhang 0002, Yuki Chiba, Kenro Yatake SMT-Based Bounded Model Checking for OSEK/VDX Applications. Search on Bibsonomy APSEC (1) The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
24Haitao Zhang, Toshiaki Aoki, Kenro Yatake, Min Zhang, Hsin-Hung Lin An Approach for Checking OSEK/VDX Applications. Search on Bibsonomy QSIC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
24Yunja Choi Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems. Search on Bibsonomy SEFM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
24Mingyu Park, Taejoon Byun, Yunja Choi Property-based Code Slicing for Efficient Verification of OSEK/VDX Operating Systems Search on Bibsonomy FTSCS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
24Duy Le Nguyen, Myung-Eui Lee OSEK/VDX Porting to the Two-Wheel Mobile Robot Based on the Differential Drive Method. Search on Bibsonomy J. Inform. and Commun. Convergence Engineering The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
24Dieu-Huong Vu, Toshiaki Aoki Faithfully formalizing OSEK/VDX operating system specification. Search on Bibsonomy SoICT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
24Kenro Yatake, Toshiaki Aoki Model Checking of OSEK/VDX OS Design Model Based on Environment Modeling. Search on Bibsonomy ICTAC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
24Atsushi Ohno, Takuya Azumi, Nobuhiko Nishio TECS Components Providing Functionalities of OSEK Specification for ITRON OS. Search on Bibsonomy HPCC-ICESS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
24Rainer Müller Implementierung eines interrupt-gesteuerten OSEK-Betriebssystemkerns auf einem ARM-Cortex-M3-Mikrocontroller. Search on Bibsonomy Informatiktage The full citation details ... 2012 DBLP  BibTeX  RDF
24Jianqi Shi, Jifeng He 0001, Huibiao Zhu, Huixing Fang, Yanhong Huang, Xiaoxian Zhang ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System. Search on Bibsonomy ICECCS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
24Joachim Denil, Serge Demeyer, Paul De Meulenaere, Kurt Maudens, Kris Van Stechelman Migrating from a Proprietary RTOS to the OSEK Standard Using a Wrapper - A Feasibility Study. Search on Bibsonomy Solutions on Embedded Systems The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
24Florin Catalin Braescu, Constantin Florin Caruntu, Lavinia Ferariu, Corneliu Lazar OSEK Based Embedded Networked Controller Handling Communication Delays. Search on Bibsonomy ECBS-EERC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
24Yanwen Li, Jinfeng Gong, Hongwei Zhang, Hui Rong Design of automotive CAN network management based on OSEK standard. Search on Bibsonomy EMEIT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
24Jiang Chen, Toshiaki Aoki Conformance Testing for OSEK/VDX Operating System Using Model Checking. Search on Bibsonomy APSEC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
24Florin Catalin Braescu, Lavinia Ferariu, Andrei Nacu OSEK-based gateway algorithm for multi-domain CAN systems. Search on Bibsonomy ICCP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
24Mark L. McKelvin Jr., Edward B. Gamble Jr., Gerard J. Holzmann Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems. Search on Bibsonomy PRDC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
24Yanhong Huang, Yongxin Zhao, Longfei Zhu, Qin Li 0002, Huibiao Zhu, Jianqi Shi Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP. Search on Bibsonomy TASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
24Longfei Zhu, Min Zhang 0002, Yanhong Huang, Jianqi Shi, Huibiao Zhu Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification. Search on Bibsonomy TASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
24Zhaohui Wu 0001, Hong Li, Guoqing Yang, Zhigang Gao, Pan Lv An improved method of task context switching in OSEK operating system. Search on Bibsonomy Int. J. Pervasive Comput. Commun. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
24SungHo Ahn, JaeYoung Kim, HyunWoo Lee Testing of Real-time OS based on OSEK/VDX for Certification. Search on Bibsonomy ESA The full citation details ... 2010 DBLP  BibTeX  RDF
24Chengjiong Wei, Min Yao, Pan Lu, Qi Hu, Nenggan Zheng OSEK/VDX-Based Dynamic Network Management on Automotive Network. Search on Bibsonomy ICESS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Lvhong Zhang, Hong Li, Li Zhou, Minde Zhao, Zhigang Gao OSEK COM-Based Dynamic Priority Assignment Method on CAN. Search on Bibsonomy ICESS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24SungHo Ahn, JaeYoung Kim, GwangSu Kim Design of Development Tool for Automotive ECU Based on OSEK/VDX. Search on Bibsonomy ESA The full citation details ... 2009 DBLP  BibTeX  RDF
24Joachim Denil, Serge Demeyer, Paul De Meulenaere, Kris Vanstechelman, Kurt Maudens Wrapping a real-time operating system with an OSEK compliant interface - a feasibility study. Search on Bibsonomy WISES The full citation details ... 2009 DBLP  BibTeX  RDF
24Johannes Bauer Entwicklung einer OSEK/VDX-kompatiblen Systemschnittstelle für Linux. Search on Bibsonomy Informatiktage The full citation details ... 2008 DBLP  BibTeX  RDF
24Markus Schmidt 0004 Modellgetriebene Entwicklung von OSEK Applikationen mit UML. Search on Bibsonomy Modellierung The full citation details ... 2008 DBLP  BibTeX  RDF
24Chunyang Mu, Lining Sun, Zhijiang Du Method Based on OSEK/VDX Platform Using Model-based and Autocode Technology for Diesel ECU Software Development. Search on Bibsonomy COMPSAC (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Christian Wawersich, Michael Stilkerich, Wolfgang Schröder-Preikschat An OSEK/VDX-based Multi-JVM for Automotive Appliances. Search on Bibsonomy IESS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Franck Bimbard, Laurent George 0001 Feasibility conditions with kernel overheads for mixed preemptive FP/FIFO Scheduling with priority ceiling protocol on an event driven OSEK system. Search on Bibsonomy ETFA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Franck Bimbard, Laurent George 0001 Real-Time Analysis to Ensure Deterministic Behavior in a Modular Robot Based on an OSEK System. Search on Bibsonomy Int. Trans. Syst. Sci. Appl. The full citation details ... 2006 DBLP  BibTeX  RDF
24Guoqing Yang, Minde Zhao, Lei Wang 0023, Zhaohui Wu 0001 An OSEK COM Compliant Communication Model for Smart Vehicle Environment. Search on Bibsonomy ICESS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Olaf Spinczyk, Wolfgang Schröder-Preikschat, Danilo Beuche, Holger Papajewski PURE/OSEK - Eine aspektorientierte Betriebssystemfamilie für Kraftfahrzeuge. Search on Bibsonomy GI Jahrestagung (1) The full citation details ... 2003 DBLP  BibTeX  RDF
24Jochen Schoof OSEK/VDX-OS - Betriebssystemstandard für Steuergeräte in Kraftfahrzeugen. Search on Bibsonomy PEARL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
24Carsten Homburg, Ulrich Kiffmeier, L. Kösters Automatic Code Generation for Multirate Simulink Models with Support for the OSEK Real-Time Operating System. Search on Bibsonomy DIPES The full citation details ... 2000 DBLP  BibTeX  RDF
24Jochem Spohr OSEK - Standardschnittstellen für die Elektronik im Kraftfahrzeug. Search on Bibsonomy PEARL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
19Jeff Lee Battery management technology for an electric vehicle. Search on Bibsonomy ISLPED The full citation details ... 2010 DBLP  DOI  BibTeX  RDF battery, bms, electric vehicle
19Marco Di Natale, Guoqiang Wang, Alberto L. Sangiovanni-Vincentelli Optimizing the Implementation of Communication in Synchronous Reactive Models. Search on Bibsonomy IEEE Real-Time and Embedded Technology and Applications Symposium The full citation details ... 2008 DBLP  DOI  BibTeX  RDF optimization, real-time, operating systems, synchronous models
19Makoto Ishikawa, D. J. McCune, George Saikalis, Shigeru Oho CPU Model-Based Hardware/Software Co-design, Co-simulation and Analysis Technology for Real-Time Embedded Control Systems. Search on Bibsonomy IEEE Real-Time and Embedded Technology and Applications Symposium The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Marco Di Natale Virtual Platforms and Timing Analysis: Status, Challenges and Future Directions. Search on Bibsonomy DAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Guoqing Yang, Hong Li, Zhaohui Wu 0001 SmartC: A Component-Based Hierarchical Modeling Language for Automotive Electronics. Search on Bibsonomy DASC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
19Zhigang Gao, Zhaohui Wu 0001, Ruizhi Ye, Long Yue A Model-Based Development Method for SmartOSEK OS. Search on Bibsonomy CIT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
19Guido Menkhaus, Michael Holzmann, Sebastian Fischmeister, Claudiu Farcas Towards Efficient Use of Shared Communication Media in the Timed Model. Search on Bibsonomy IEEE Real-Time and Embedded Technology and Applications Symposium The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
19Wei Chen 0005, Zhaohui Wu 0001, Xiang Wang Minimizing Memory Utilization of Task Sets in SmartOSEK. Search on Bibsonomy AINA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
19Mingde Zhao, Zhaohui Wu 0001, Guoqing Yang, Lei Wang 0023, Wei Chen 0005 SmartOSEK: A Real-Time Operating System for Automotive Electronics. Search on Bibsonomy ICESS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
19Zhaohui Wu 0001, Qing Wu, Jie Sun 0003, Zhigang Gao, Bin Wu, Mingde Zhao ScudWare: A Context-Aware and Lightweight Middleware for Smart Vehicle Space. Search on Bibsonomy ICESS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
19Sébastien Faucou, Anne-Marie Déplanche, Yvon Trinquet Timing fault detection for safety-critical real-time embedded systems. Search on Bibsonomy ACM SIGOPS European Workshop The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
19Ragunathan Rajkumar An End-To-End Methodology for Building Embedded Systems. Search on Bibsonomy EMSOFT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
19Peter Thoma Automotive Electronics - A Challenge For Systems Engineering. Search on Bibsonomy DATE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #91 of 91 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license