...
机译:通过图形设计和形式验证来实现过程控制软件的高度完整性
机译:正式验证的软件对策,用于智能卡C代码的控制流完整性
机译:用于智能卡C代码的控制流完整性的正式验证的软件对策
机译:硬件/软件协同设计的正式验证,并通过状态转换转换为表示形式
机译:缩放自动验证:用于施工高完整性软件的案例研究和正式的IDE
机译:用于安全关键医疗设备软件控制的正式验证技术。
机译:HPARSER:使用自然语言处理软件从自由文本历史记录和身体报告中提取正式的患者数据。
机译:用于设计和验证计算机数控(CNC)系统的可靠可靠软件的正式规范和验证框架
机译:使用指导和控制软件(GCs)实验中的形式化规范。生命关键系统的正规设计和验证技术