机译:基于NCES的建模和基于CTL的可重构嵌入式控制系统验证
机译:在基准生产系统中基于NCES的自动规范和基于SESA的可行控制组件的验证
机译:可重构多代理系统的建模与验证
机译:基于NCE的建模和基于CTL的可重构基准生产系统的验证
机译:可重构混合系统的正式规范和验证。
机译:记录早期石器时代鳞片生产系统之间的差异:实验模型和考古验证
机译:可修复和可重构系统安全分析模型的形式验证
机译:铀系统,以增强用于验证关键性安全计算机模型的基准。最终报告,1990年2月16日 - 1994年12月31日