基于形式化的需求自动建模与健壮性验证技术研究

基于形式化的需求自动建模与健壮性验证技术研究

出版社：中国科学院国家空间科学中心

出版年：2022

作者：王一华

资源类型：图书

细分类型：中文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

软件安全性需求形式化建模和验证

作者：李震
ISBN：9787568401128
出版社：江苏大学出版社
出版年：2019

基于形式化方法的网络验证技术研究

作者：方星
出版社：中国科学院信息工程研究所
出版年：2022

基于MARTE的时序需求建模与分析验证技术研究

作者：徐嘉
出版社：中国科学院国家空间科学中心
出版年：2022

面向可信认证及授权协议的形式化建模与验证研究

作者：汪彩梅
出版年：2018

网电空间中相依网络健壮性研究

作者：王竣德
ISBN：9787121380914
出版社：电子工业出版社
出版年：2021

网络流行为分类的健壮性研究

作者：郭乐
出版年：2012