机译:在基准生产系统中基于NCES的自动规范和基于SESA的可行控制组件的验证
Martin-Luther-Universitat Halle Wittenberg,Institut fur Informatik,06120 Halle (Saale), Germany;
Martin-Luther-Universitat Halle Wittenberg,Institut fur Informatik,06120 Halle (Saale), Germany;
control systems; software components; specification; net condition/event systems; nces; verification; computation tree logic; ctl; sesa.;
机译:基于NCES的建模和基于CTL的可重构嵌入式控制系统验证
机译:基于信任的多代理系统的规范和自动验证
机译:致力于自动生成形式规范以验证和验证可靠的分布式系统:以工业案例研究为例的方法
机译:基于NCE的建模和基于CTL的可重构基准生产系统的验证
机译:在软件密集型系统中自动验证行为规范。
机译:使用商业记录和验证系统进行容积调制电弧疗法治疗的远程自动每日交付验证的可行性
机译:用于设计和验证计算机数控(CNC)系统的可靠可靠软件的正式规范和验证框架
机译:使用pOm验证器在延迟不敏感和延迟约束的VLsI系统的自动验证期间控制状态爆炸