共 50 条
- [31] Debugging of Java']Java programs using HDT with program slicing [J]. COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2004, PT 4, 2004, 3046 : 524 - 533
- [32] A Hybrid Approach for Proving Noninterference of Java']Java Programs [J]. 2015 IEEE 28TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM CSF 2015, 2015, : 305 - 319
- [33] Symbolic backward simulation of Java']Java bytecode program [J]. PROCEEDINGS OF THE 10TH INTERNATIONAL CONFERENCE ON COMPUTER MODELING AND SIMULATION (ICCMS 2018), 2017, : 140 - 145
- [36] GVis: A Java']Java-based architecture for grid enabled interactive visualization [J]. GRID AND COOPERATIVE COMPUTING GCC 2004 WORKSHOPS, PROCEEDINGS, 2004, 3252 : 704 - 711
- [37] Translating activity cycle diagrams to Java']Java simulation programs [J]. 37TH ANNUAL SIMULATION SYMPOSIUM, PROCEEDINGS, 2004, : 157 - 164
- [38] The ThreadRadar visualization for debugging concurrent Java programs [J]. Journal of Visualization, 2022, 25 : 1267 - 1289
- [40] Output visualization modes in it Java']Java generating continuous simulation compiler [J]. SIMULATION IN INDUSTRY'99: 11TH EUROPEAN SIMULATION SYMPOSIUM 1999, 1999, : 159 - 163