软件可信性保障相关硕士博士期刊学术论文 - 信丰网

软件可信性保障相关论文

信息物理系统软件的形式建模、验证与分析

信息物理系统(Cyber Physical Systems,简称CPS)作为当今世界信息技术制高点,已广泛应用于电力系统、医疗仪器设备、航空航天等安......

学位

CPS软件时间状态迁移矩阵软件可信性保障限界模型检测扩展的确定与随机Petri网

看过本文同时还关注