共 50 条
- [1] Safety-Critical Java']Java on a Java']Java Processor PROCEEDINGS OF THE 10TH INTERNATIONAL WORKSHOP ON JAVA TECHNOLOGIES FOR REAL-TIME AND EMBEDDED SYSTEMS, 2012, : 54 - 61
- [2] Java']Java in the Safety-Critical Domain ENGINEERING TRUSTWORTHY SOFTWARE SYSTEMS (SETSS 2016), 2017, 10215 : 110 - 150
- [3] Safety-critical Java']Java for embedded systems CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2017, 29 (22):
- [4] Reusable Libraries for Safety-Critical Java']Java 2014 IEEE 17TH INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC), 2014, : 188 - 197
- [5] Patterns for Safety-Critical Java']Java Memory Usage PROCEEDINGS OF THE 10TH INTERNATIONAL WORKSHOP ON JAVA TECHNOLOGIES FOR REAL-TIME AND EMBEDDED SYSTEMS, 2012, : 1 - 8
- [6] Safety-Critical Java']Java: level 2 in practice CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2017, 29 (06):
- [8] Circus Models for Safety-Critical Java']Java Programs COMPUTER JOURNAL, 2014, 57 (07): : 1046 - 1091
- [9] Private Memory Allocation Analysis for Safety-Critical Java']Java PROCEEDINGS OF THE 10TH INTERNATIONAL WORKSHOP ON JAVA TECHNOLOGIES FOR REAL-TIME AND EMBEDDED SYSTEMS, 2012, : 9 - 17
- [10] The Safety-Critical Java']Java Mission Model: A Formal Account FORMAL METHODS AND SOFTWARE ENGINEERING, 2011, 6991 : 49 - 65