Unified modeling language; Object oriented modeling; Semantics; Safety; Systems Modeling Language;
机译:基于AADL的安全性分析,使用正式方法应用于飞机数字系统
机译:非线性系统的运行时间保证和形式化方法分析在非线性系统控制中的应用
机译:正式方法应用于复杂系统:B方法的实现
机译:用于交通管理的系统分析框架系统的正式方法
机译:安全关键系统的基于模型的可用性分析:正式方法框架。
机译:系统生物学的知识管理一种适用于转化医学的通用视觉驱动框架
机译:用于交通管理的系统分析框架系统的正式方法
机译:空中交通管理的形式化方法:无人机系统案例。