共 50 条
- [41] Components with Symbolic Transition Systems: a Java']Java Implementation of Rendezvous WOTUG-30: COMMUNICATING PROCESS ARCHITECTURES 2007, 2007, 65 : 89 - 107
- [42] Static analysis for computing escapability and mutability for Java']Java components FIFTH IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2005, : 119 - 128
- [44] Integrating Statechart Assertions into Java']Java Components Using AspectJ 2008 IEEE INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING (SOSE), 2008, : 366 - 372
- [45] Persistent Reusable Java']Java Virtual Machine unter z/OS und Linux COMPUTER SCIENCE-RESEARCH AND DEVELOPMENT, 2005, 20 (1-2): : 102 - 111
- [47] Teaching Java']Java Security to Enhance Cybersecurity Education 2013 PROCEEDINGS OF IEEE SOUTHEASTCON, 2013,