共 50 条
- [31] SSJ: A framework for stochastic simulation in Java']Java PROCEEDINGS OF THE 2002 WINTER SIMULATION CONFERENCE, VOLS 1 AND 2, 2002, : 234 - 242
- [34] Java']Java RDF framework for knowledge repository SAMI: 2009 7TH INTERNATIONAL SYMPOSIUM ON APPLIED MACHINE INTELLIGENCE AND INFORMATICS, 2009, : 83 - 86
- [35] A security framework for reflective Java']Java applications SOFTWARE-PRACTICE & EXPERIENCE, 2003, 33 (09): : 821 - 846
- [37] JayHorn: A Framework for Verifying Java']Java programs COMPUTER AIDED VERIFICATION, (CAV 2016), PT I, 2016, 9779 : 352 - 358
- [38] A robust framework for building Java']Java applications COMPUTER SCIENCE AND TECHNOLOGY IN NEW CENTURY, 2001, : 506 - 510
- [39] A Java']Java framework to teach computer architecture NEW TRENDS AND TECHNOLOGIES IN COMPUTER-AIDED LEARNING FOR COMPUTER-AIDED DESIGN, 2005, 192 : 25 - 35
- [40] A formal framework for Java']Java separate compilation ECOOP 2002 - OBJECT-ORIENTED PROGRAMMING, 2002, 2374 : 609 - 635