共 50 条
- [31] JayHorn: A Java']Java Model Checker [J]. PROCEEDINGS OF THE 21ST WORKSHOP ON FORMAL TECHNIQUES FOR JAVA-LIKE PROGRAMS (FTFJP 2019), 2019,
- [36] Compiling, assembling and executing Java']Java using Java']Java - Compiler construction using Java']Java [J]. PDPTA'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, 2001, : 1820 - 1826
- [37] A CSP model for Java']Java multithreading [J]. INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 2000, : 114 - 122
- [38] Java']Java RMI performance and object model interoperability: experiments with Java']Java/HPC++ [J]. CONCURRENCY-PRACTICE AND EXPERIENCE, 1998, 10 (11-13): : 941 - 955
- [39] Model Generation For Java']Java Frameworks [J]. 2023 IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION, ICST, 2023, : 165 - 175
- [40] An authentication server in Java']Java - Implementation of an encryption framework model and DES algorithm in Java']Java [J]. ITS '98 PROCEEDINGS - SBT/IEEE INTERNATIONAL TELECOMMUNICATIONS SYMPOSIUM, VOLS 1 AND 2, 1998, : 627 - 631