|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9 occurrences of 9 keywords
|
|
|
Results
Found 45 publication records. Showing 45 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
155 | Michael Stilkerich, Christian Wawersich, Andreas Gal, Wolfgang Schröder-Preikschat, Michael Franz |
OSEK/VDX API for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS ![In: Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, PLOS 2006, San Jose, California, USA, October 22, 2006, pp. 4, 2006, ACM, 1-59593-577-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
155 | Lei Wang 0023, Zhaohui Wu 0001, Mingde Zhao |
Worst-Case Response Time Analysis for OSEK/VDX Compliant Real-Time Distributed Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 28th International Computer Software and Applications Conference (COMPSAC 2004), Design and Assessment of Trustworthy Software-Based Systems, 27-30 September 2004, Hong Kong, China, Proceedings, pp. 148-153, 2004, IEEE Computer Society, 0-7695-2209-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
136 | Claas Diederichs, Ulrich Margull, Frank Slomka, Gerhard Wirrer |
An application-based EDF scheduler for OSEK/VDX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008, pp. 1045-1050, 2008, ACM, 978-3-9810801-3-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
113 | Jean-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](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2006, September 20-22, 2006, Diplomat Hotel Prague, Czech Republic, pp. 62-69, 2006, IEEE, 0-7803-9758-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
104 | Libor Waszniowski, Zdenek Hanzálek |
Formal verification of multitasking applications based on timed automata model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 38(1), pp. 39-65, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
OSEK/VDX, Model-checking, Verification, Formal methods, Timed automata, Multitasking |
62 | Isabella Thomm, Michael Stilkerich, Christian Wawersich, Wolfgang Schröder-Preikschat |
KESO: an open-source multi-JVM for deeply embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010, pp. 109-119, 2010, ACM, 978-1-4503-0122-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
KESO, OSEK/VDX, spatial isolation, Java, embedded systems, memory protection, AUTOSAR |
52 | Haitao Zhang, Bowen Pu |
Testing Vehicle-Mounted Systems: A Stepwise Symbolic Execution Approach for OSEK/VDX Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings, pp. 205-219, 2022, Springer, 978-3-031-10362-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
52 | Yanhong Huang, Haiping Pang, Jianqi Shi |
Modeling and Verification of A Timing Protection Mechanism in the OSEK/VDX OS using CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 32(1), pp. 113-145, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
52 | Berkay Saydam, Tolga Ayav |
Evaluation of Scheduling Architectures for OSEK/VDX Compliant Hard Real-Time Operating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UYMS ![In: 14th Turkish National Software Engineering Symposium, UYMS 2020, Istanbul, Turkey, October 7-9, 2020, pp. 1-6, 2020, IEEE, 978-1-7281-8541-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
52 | Haitao Zhang, Zhuo Cheng, Guoqiang Li 0001, Shaoying Liu |
autoC: an efficient translator for model checking deterministic scheduler based OSEK/VDX applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Inf. Sci. ![In: Sci. China Inf. Sci. 61(5), pp. 052102:1-052102:15, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
52 | Yunja Choi |
A configurable V&V framework using formal behavioral patterns for OSEK/VDX operating systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 137, pp. 563-579, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
52 | Haitao Zhang, Guoqiang Li 0001, Zhuo Cheng, Jinyun Xue |
Verifying OSEK/VDX automotive applications: A Spin-based model checking approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Test. Verification Reliab. ![In: Softw. Test. Verification Reliab. 28(3), 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
52 | Jean-Luc Béchennec, Olivier Henry Roux, Tigori Kabland Toussaint Gautier |
Formal model-based conformance verification of an OSEK/VDX compliant RTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoDIT ![In: 5th International Conference on Control, Decision and Information Technologies, CoDIT 2018, Thessaloniki, Greece, April 10-13, 2018, pp. 628-634, 2018, IEEE, 978-1-5386-5065-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
52 | Yoohee Chung, Dongwoo Kim, Yunja Choi |
Modeling OSEK/VDX OS Requirements in C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 24th Asia-Pacific Software Engineering Conference, APSEC 2017, Nanjing, China, December 4-8, 2017, pp. 398-407, 2017, IEEE Computer Society, 978-1-5386-3681-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
52 | Haitao Zhang, Zhuo Cheng, Jianxin Xue, Yonggang Lu |
Boosting Uppaal for OSEK/VDX Applications with a Sequentialization Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers, pp. 51-68, 2017, Springer, 978-3-319-90103-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
52 | Min 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](Pics/bibsonomy.png) |
J. Inf. Secur. Appl. ![In: J. Inf. Secur. Appl. 31, pp. 41-53, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
52 | Haitao 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](Pics/bibsonomy.png) |
ICIS ![In: 15th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2016, Okayama, Japan, June 26-29, 2016, pp. 1-6, 2016, IEEE Computer Society, 978-1-5090-0806-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
52 | Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki |
Verifying OSEK/VDX OS Design Using Its Formal Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Shanghai, China, July 17-19, 2016, pp. 81-88, 2016, IEEE Computer Society, 978-1-5090-1764-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
52 | Haitao Zhang, Toshiaki Aoki, Yuki Chiba |
Verifying OSEK/VDX Applications: A Sequentialization-Based Model Checking Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 98-D(10), pp. 1765-1776, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
52 | Haitao Zhang, Toshiaki Aoki, Yuki Chiba |
Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 8th IEEE International Conference on Software Testing, Verification and Validation, ICST 2015, Graz, Austria, April 13-17, 2015, pp. 1-10, 2015, IEEE Computer Society, 978-1-4799-7125-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
52 | Zhuo Cheng, Haitao Zhang, Yasuo Tan, Yuto Lim |
A Case Study: SOFL + Model Checking for OSEK/VDX Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers, pp. 132-146, 2015, Springer, 978-3-319-31219-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
52 | Haitao Zhang, Toshiaki Aoki, Yuki Chiba |
A Spin-Based Approach for Checking OSEK/VDX Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTSCS ![In: Formal Techniques for Safety-Critical Systems - Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers, pp. 239-255, 2014, Springer, 978-3-319-17580-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
52 | Min 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](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers, pp. 280-296, 2014, Springer, 978-3-319-12903-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
52 | Yunja Choi |
Model Checking an OSEK/VDX-Based Operating System for Automobile Safety Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 96-D(3), pp. 735-738, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
52 | Haitao 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](Pics/bibsonomy.png) |
APSEC (1) ![In: 20th Asia-Pacific Software Engineering Conference, APSEC 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013 - Volume 1, pp. 307-314, 2013, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
52 | Haitao Zhang, Toshiaki Aoki, Kenro Yatake, Min Zhang, Hsin-Hung Lin |
An Approach for Checking OSEK/VDX Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: 2013 13th International Conference on Quality Software, Najing, China, July 29-30, 2013, pp. 113-116, 2013, IEEE, 978-1-4799-0500-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
52 | Yunja Choi |
Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings, pp. 305-319, 2013, Springer, 978-3-642-40560-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
52 | Mingyu Park, Taejoon Byun, Yunja Choi |
Property-based Code Slicing for Efficient Verification of OSEK/VDX Operating Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTSCS ![In: Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2012, Kyoto, Japan, November 12, 2012., pp. 69-84, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
52 | Duy Le Nguyen, Myung-Eui Lee |
OSEK/VDX Porting to the Two-Wheel Mobile Robot Based on the Differential Drive Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inform. and Commun. Convergence Engineering ![In: J. Inform. and Commun. Convergence Engineering 10(4), pp. 372-377, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
52 | Dieu-Huong Vu, Toshiaki Aoki |
Faithfully formalizing OSEK/VDX operating system specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoICT ![In: Symposium on Information and Communication Technology 2012, SoICT '12, Halong City, Quang Ninh , Viet Nam, August 23-24, 2012, pp. 13-20, 2012, ACM, 978-1-4503-1232-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
52 | Kenro Yatake, Toshiaki Aoki |
Model Checking of OSEK/VDX OS Design Model Based on Environment Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings, pp. 183-197, 2012, Springer, 978-3-642-32942-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
52 | Jianqi Shi, Jifeng He 0001, Huibiao Zhu, Huixing Fang, Yanhong Huang, Xiaoxian Zhang |
ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 17th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2012, Paris, France, July 18-20, 2012, pp. 293-301, 2012, IEEE Computer Society, 978-1-4673-2156-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
52 | Jiang Chen, Toshiaki Aoki |
Conformance Testing for OSEK/VDX Operating System Using Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 18th Asia Pacific Software Engineering Conference, APSEC 2011, Ho Chi Minh, Vietnam, December 5-8, 2011, pp. 274-281, 2011, IEEE Computer Society, 978-1-4577-2199-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
52 | Yanhong 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](Pics/bibsonomy.png) |
TASE ![In: 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, China, 29-31 August 2011, pp. 142-149, 2011, IEEE Computer Society, 978-1-4577-1487-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
52 | Longfei Zhu, Min Zhang 0002, Yanhong Huang, Jianqi Shi, Huibiao Zhu |
Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, China, 29-31 August 2011, pp. 27-34, 2011, IEEE Computer Society, 978-1-4577-1487-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
52 | SungHo Ahn, JaeYoung Kim, HyunWoo Lee |
Testing of Real-time OS based on OSEK/VDX for Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Proceedings of the 2010 International Conference on Embedded Systems & Applications, ESA 2010, July 12-15, 2010, Las Vegas Nevada, USA, pp. 163-167, 2010, CSREA Press, 1-60132-141-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
52 | Chengjiong Wei, Min Yao, Pan Lu, Qi Hu, Nenggan Zheng |
OSEK/VDX-Based Dynamic Network Management on Automotive Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICESS ![In: International Conference on Embedded Software and Systems, ICESS '09, Hangzhou, Zhejiang, P. R. China, May 25-27, 2009., pp. 131-137, 2009, IEEE Computer Society, 978-0-7695-3678-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
52 | SungHo Ahn, JaeYoung Kim, GwangSu Kim |
Design of Development Tool for Automotive ECU Based on OSEK/VDX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Proceedings of the 2009 International Conference on Embedded Systems & Applications, ESA 2009, July 13-16, 2009, Las Vegas Nevada, USA, pp. 176-182, 2009, CSREA Press, 1-60132-102-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
52 | Johannes Bauer |
Entwicklung einer OSEK/VDX-kompatiblen Systemschnittstelle für Linux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informatiktage ![In: Informatiktage 2008 - Fachwissenschaftlicher Informatik-Kongress, 14. und 15. März 2008, B-IT Bonn-Aachen International Center for Information Technology in Bonn, pp. 65-68, 2008, GI, 978-3-88579-440-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
52 | Chunyang 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](Pics/bibsonomy.png) |
COMPSAC (2) ![In: 31st Annual International Computer Software and Applications Conference, COMPSAC 2007, Beijing, China, July 24-27, 2007. Volume 2, pp. 629-634, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
52 | Christian Wawersich, Michael Stilkerich, Wolfgang Schröder-Preikschat |
An OSEK/VDX-based Multi-JVM for Automotive Appliances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IESS ![In: Embedded System Design: Topics, Techniques and Trends, IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), May 30 - June 1, 2007, Irvine, CA, USA, pp. 85-96, 2007, Springer, 978-0-387-72257-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
52 | Jochen Schoof |
OSEK/VDX-OS - Betriebssystemstandard für Steuergeräte in Kraftfahrzeugen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEARL ![In: PEARL 2000: Echtzeitbetriebssysteme und LINUX, Workshop über Realzeitsysteme, Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL, Boppard, 23./24. November 2000, pp. 43-52, 2000, Springer, 3-540-41210-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
42 | Guoqing Yang, Hong Li, Zhaohui Wu 0001 |
SmartC: A Component-Based Hierarchical Modeling Language for Automotive Electronics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASC ![In: Second International Symposium on Dependable Autonomic and Secure Computing (DASC 2006), 29 September - 1 October 2006, Indianapolis, Indiana, USA, pp. 203-210, 2006, IEEE Computer Society, 0-7695-2539-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
42 | Mingde Zhao, Zhaohui Wu 0001, Guoqing Yang, Lei Wang 0023, Wei Chen 0005 |
SmartOSEK: A Real-Time Operating System for Automotive Electronics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICESS ![In: Embedded Software and Systems, First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers, pp. 437-442, 2004, Springer, 3-540-28128-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Sébastien Faucou, Anne-Marie Déplanche, Yvon Trinquet |
Timing fault detection for safety-critical real-time embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS European Workshop ![In: Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, pp. 247-250, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #45 of 45 (100 per page; Change: )
|
|