机译:通过SW Tool SHARPE对安全现场总线系统进行建模
机译:现场总线工具箱-用于模拟现场总线系统的工具
机译:发现安全网络:用在开放式体系结构现场总线网络的安全版本上运行的安全可编程控制器代替传统的硬连线安全系统可以为制造商带来丰厚的回报
机译:安全相关的现场总线传输系统的安全模型
机译:基于模型的系统工程应用使用制作和MagicDraw建模工具确定航空航天部件的可靠性,风险和安全性
机译:使用基因表达谱和统计工具对流感疫苗和佐剂谱进行安全预测系统建模
机译:安全关键系统的验证:使用现代模型检查工具的案例研究报告