机译:UML交互模型驱动的Java程序运行时验证
State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, Jiangsu, People's Republic of China, Department of Computer Science and Technology, Nanjing University, Nanjing, Jiangsu, People's Republic of China;
机译:JCML:一种用于Java Card程序的运行时验证的规范语言
机译:安全关键系统开发中模型驱动的设计-运行时交互:经验报告
机译:现有的Java API规范在运行时验证期间发现错误的效率如何?
机译:UML状态机图驱动Java程序的运行时验证,以确保消息交互的一致性
机译:用于自动验证UML设计模型的框架:应用于UML 2.0交互。
机译:基于智能合约的可靠任务管理用于物联网环境中传感和激励任务的运行时验证
机译:JCML:一种用于Java Card程序的运行时验证的规范语言
机译:Jeagle:一个JaVa运行时验证工具