University of Maryland, College Park.;
机译:电磁场问题有限元软件开发的正式UML相关软件工程方法
机译:一种统计测试方法,用于量化软件可靠性;应用于示例系统
机译:TOPAAS:软件可靠性量化的另一种方法
机译:在基于组件的软件开发中处理软件演进的正式方法
机译:安全关键 软件开发过程 和 可靠性 定量 嵌入式系统设计
机译:Biogem:一种有效的基于工具的方法用于扩大生物信息学中的开源软件开发
机译:基于组件的软件开发中软件组成的正式方法