...
机译:Java程序的基于ASM的形式模型
Ershov Institute of Information Systems, Siberian Division, Russian Academy of Sciences, pr. Akademika Lavrent'eva 6, Novosibirsk, 630090 Russia;
机译:使用BML规范注释的Java Bytecode程序的正式模型。
机译:基于ASM的云系统适应性组件的形式化设计
机译:使用JAVA路径查找器对JAVA程序进行模型检查
机译:基于ASM的面向服务的组件交互和业务流程的可执行形式模型
机译:通过形式概念分析,为分布式Java RMI程序选择回归测试。
机译:COVID-19对巴基斯坦外科住院计划的影响;居民的观点。程序是否需要进行正式的结构调整以适应新常态?横断面调查研究
机译:JavaFaN中Java程序的形式化分析
机译:Enterprise JavaBeans(Tm)组件集成框架的形式化建模