共 50 条
- [21] Using CHARTER tools to develop a Safety-Critical Avionics Application in Java']Java PROCEEDINGS OF THE 10TH INTERNATIONAL WORKSHOP ON JAVA TECHNOLOGIES FOR REAL-TIME AND EMBEDDED SYSTEMS, 2012, : 125 - 134
- [22] Mission modes for safety critical Java']Java SOFTWARE TECHNOLOGIES FOR EMBEDDED AND UBIQUITOUS SYSTEMS, 2007, 4761 : 105 - 113
- [24] Firm Deadline Checking of Safety-Critical Java']Java Applications with Statistical Model Checking MODELS, ALGORITHMS, LOGICS AND TOOLS: ESSAYS DEDICATED TO KIM GULDSTRAND LARSEN ON THE OCCASION OF HIS 60TH BIRTHDAY, 2017, 10460 : 269 - 288
- [25] Circus models for safety-critical java programs Zeyda, F. (frank.zeyda@york.ac.uk), 1600, Oxford University Press (57):
- [26] A Java']Java processor for mobile devices ICCE: 2005 INTERNATIONAL CONFERENCE ON CONSUMER ELECTRONICS, DIGEST OF TECHNICAL PAPERS, 2005, : 437 - 438
- [27] A time predictable Java']Java processor 2006 DESIGN AUTOMATION AND TEST IN EUROPE, VOLS 1-3, PROCEEDINGS, 2006, : 798 - 803
- [28] Design and implementation of a Java']Java processor IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 2006, 153 (01): : 20 - 30
- [29] JOP: A Java']Java optimized processor ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2003: OTM 2003 WORKSHOPS, 2003, 2889 : 346 - 359