机译:基于可配置模型提取的故障分析模型检查方法
机译:面向服务的产品线中的功能交互的建模和分析的灵活方法
机译:面向服务的产品线中的功能交互的建模和分析的灵活方法
机译:用于分析服务导向应用程序的通信协议的动作/状态模型检查方法
机译:在异步学习环境中评估在线交互:一种对话分析方法。
机译:一种快速通用的组合DNA / RNA提取方案及其在拟南芥生态型Col-0和Landsberg erecta之间新颖的DNA标记集多态性分析中的应用
机译:基于动作/状态的模型检查方法,用于面向服务的应用程序的通信协议分析