机译:使用UML和形式化方法对ATPB系统进行安全评估
College of Science and Technology, Nihon University 7-24-1 Narashino-dai, Funabashi-shi, Chiba, 274-8501 Japan;
College of Science and Technology, Nihon University 7-24-1 Narashino-dai, Funabashi-shi, Chiba, 274-8501 Japan;
College of Science and Technology, Nihon University 7-24-1 Narashino-dai, Funabashi-shi, Chiba, 274-8501 Japan;
College of Science and Technology, Nihon University 7-24-1 Narashino-dai, Funabashi-shi, Chiba, 274-8501 Japan;
railway system; ATPB; formal methods; specification;
机译:使用UML和形式化方法对ATPB系统进行安全评估
机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:基于AADL的安全性分析,使用正式方法应用于飞机数字系统
机译:正式形式对安全关键软件设计的广泛接受:基于UML和模型检查的方法
机译:安全关键系统的基于模型的可用性分析:正式方法框架。
机译:肺动脉高压患者中安布森坦波生坦和西地那非安全性和有效性的联合方法(形式调整的间接比较荟萃分析和主成分分析)
机译:结合半正规和正式方法,以便在自动流动性按需系统中进行安全控制