机译:借助人工神经网络利用从连续信号中检测到的事件对废水处理过程进行形式验证。案例研究:SBR工厂
机译:开放网络和分布式系统上的安全协议:用于分析,设计和验证的正式方法
机译:分布式铁路控制系统的正式开发和验证
机译:分布式信号箱的网络互锁控制的正式验证
机译:开发和评估用于信号网络实时控制的分布式系统。
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:分布式信号箱的联锁控制:使用SPIN模型检查器进行设计和验证
机译:自适应巡航控制:混合,分布式,现在正式验证