Fault-Tolerance; Fail-Operational; Mixed-Critical; Deployment; Dependability; SMT-Solver;
机译:容错汽车系统中特征退化的形式分析
机译:通过使用Petri网模型部署更环保的备用服务器来实现云物流的容错系统设计
机译:设计,分析和部署无所不在的正式信任模型(FTM),并具有用于普遍环境的信任引导
机译:基于约束的部署计算和容错系统分析的正式模型
机译:基于基准模型的基于约束的Cad系统之间的STEP,JT和PDF格式转换分析。
机译:计算建模,形式分析和系统生物学工具
机译:基于约束的容错系统部署计算与分析的形式化模型
机译:具有容错软件的容错系统集成建模与分析