机译:使用的AltaRica数据流语言:多状态系统生产可用性的建模
8 rue Samonzet, 64000 Pau, France;
multi-state systems; production availability; altarica-data flow language;
机译:基于AltaRica 3.0的基于模型的安全性分析的IMA系统的可用性评估
机译:具有结构化语言的多传感器和多状态离散事件系统的建模与优化监督
机译:使用基于多状态的可用性模型的定期监视测试策略,以有效增强NPP中关键安全系统的可用性
机译:多状态可修复泡泡糖生产系统的可用性评估
机译:静态类型的面向对象编程语言的模块化数据流分析。
机译:促进系统生物学模型重用的数学建模语言的特征:软件工程视角
机译:基于Altarica 3.0的基于模型的安全性分析的IMA系统可用性评估