...
机译:网络结构的安全关键系统构建行为模型的系统方法
Model-based testingsafety-critical systemDSL;
机译:安全关键系统开发的系统知识教育方法
机译:建立信用风险预测模型的系统方法
机译:无脊椎动物斑块使用行为和碎屑质量对水生系统中芦苇叶片分解的影响:一种建模方法
机译:安全关键系统正确性的正式组建验证方法:基于模型检查的方法方法,可自动验证安全关键系统软件
机译:用彩色Petri网建模可重入制造系统的系统方法。
机译:水卫生和卫生的综合行为模型:行为模型的系统综述以及在基础设施受限的环境中设计和评估行为改变干预措施的框架
机译:为网络结构安全关键系统构建组合行为模型的系统方法
机译:构建低钠空穴异质核的系统方法