...
机译:安全关键植物运行的建筑评估利用定时自动机的可达性分析
Univ Lorraine CNRS CRAN F-54000 Nancy France;
Univ Lorraine CNRS CRAN F-54000 Nancy France;
Univ Lorraine CNRS CRAN F-54000 Nancy France;
Elect France EDF R&D F-78400 Chatou France;
Plant operation; Safety assessment; Critical process architecture; Reachability analysis; Timed automata; Modelling patterns;
机译:下推定时自动机:二进制可达性表征和安全验证
机译:使用max-plus代数进行定时自动机的可达性分析
机译:定时自动机中的分布式可达性分析
机译:使用定时自动机模型可达性分析的多产品批量植物的调度
机译:定时安全自动机和逻辑一致性。
机译:夜间和白天手术对死者供体肾脏移植结果的比较:回顾性分析
机译:安全关键植物运行的建筑评估利用定时自动机的可达性分析