机译:使用逻辑规格控制网络 - 物理系统:正式方法方法
Univ Aquila Dept Informat Engn Comp Sci & Math DISIM Ctr Excellence DEWS I-67100 Laquila Italy;
Univ Aquila Dept Informat Engn Comp Sci & Math DISIM Ctr Excellence DEWS I-67100 Laquila Italy;
Cyber-Physical systems; Formal methods; Logic specifications; Symbolic models;
机译:用逻辑规范控制网络物理系统:一种正式的方法
机译:一个以组织为中心的多代理系统规范的正式框架:一种基于重写逻辑的方法
机译:Web应用程序正式规范和验证的重写逻辑方法
机译:从非正式规范中正式指定逻辑控制器的方法
机译:在软件规范中结合半正式和正式的符号:一种建模时间受限系统的方法。
机译:国家免疫覆盖率世界卫生组织和联合国儿童基金会估计的形式化表示:计算逻辑方法
机译:空中交通中使用的语音通信系统的正式规范控制了使用VDM的轻质正式方法的工业应用