共 50 条
- [22] Proposal of a Testing Method Using Similarity of Interleaving for Java']Java Multi-threaded Programs JOURNAL OF ROBOTICS NETWORKING AND ARTIFICIAL LIFE, 2015, 1 (04): : 299 - 302
- [23] Proposal of a Testing Method Using Similarity of Interleaving for Java']Java Multi-threaded Programs PROCEEDINGS OF INTERNATIONAL CONFERENCE ON ARTIFICIAL LIFE AND ROBOTICS (ICAROB2015), 2015, : 380 - 383
- [24] Applying static analysis to large-scale, multi-threaded Java']Java programs 2001 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 68 - 75
- [26] A sound and complete shared-variable concurrency model for multi-threaded Java']Java programs Formal Methods for Open Object-Based Distributed Systems, Proceedings, 2007, 4468 : 252 - 268
- [27] An event-based structural operational semantics of multi-threaded java Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1999, 1523 : 157 - 200
- [28] Secure, real-time and multi-threaded general-purpose embedded Java']Java microarchitecture DSD 2007: 10TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN ARCHITECTURES, METHODS AND TOOLS, PROCEEDINGS, 2007, : 59 - 62
- [29] Proposal of a Supporting Method for Debugging to Reproduce Java']Java Multi-threaded Programs by Petri-net JOURNAL OF ROBOTICS NETWORKING AND ARTIFICIAL LIFE, 2014, 1 (03): : 207 - 211