...
机译:跟踪规范:方法和模型
机译:使用行为轨迹和Petri网构建块的柔性制造系统的建模和逻辑控制器规范
机译:基于模板的性能模型规范和自动组合方法
机译:基于聚类的方法,支持向软件模型翻译医疗规范
机译:可追溯性分析:建模功能要求规格
机译:通讯协议的跟踪规范(软件工程,正式规范)。
机译:通过启动子-RBS库基于I / O规范的健壮遗传晶体管的系统设计方法
机译:Haskell结构模型的可追溯和信息保留组成的形式规范
机译:大型实时复杂系统的系统需求规范和可追溯性方法