共 50 条
- [31] SMT-based Bounded Model Checking for OSEK/VDX Applications 2013 20TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2013), VOL 1, 2013, : 307 - 314
- [32] A discussion of distributed system environments and distributed operating systems PARALLEL AND DISTRIBUTED COMPUTING SYSTEMS - PROCEEDINGS OF THE ISCA 9TH INTERNATIONAL CONFERENCE, VOLS I AND II, 1996, : 37 - 42
- [33] A Spin-Based Approach for Checking OSEK/VDX Applications FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, FTSCS 2014, 2015, 476 : 239 - 255
- [35] An OSEK/VDX-based Multi-JVM for automotive appliances EMBEDDED SYSTEM DESIGN: TOPICS, TECHNIQUES AND TRENDS, 2007, 231 : 85 - +
- [36] A Formal Semantics of the OSEK/VDX Standard in K Framework and Its Applications REWRITING LOGIC AND ITS APPLICATIONS, WRLA 2014, 2014, 8663 : 280 - 296
- [37] Verifying OSEK/VDX OS Design using Its Formal Specification 2016 10TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2016, : 81 - 88
- [38] Formal model-based conformance verification of an OSEK/VDX compliant RTOS 2018 5TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT), 2018, : 628 - 634
- [40] Distributed operating systems vs. distributed system environments COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 1997, 12 (03): : 193 - 203