网购软件信任演化模型的形式化研究 :面向复杂网络

网购软件信任演化模型的形式化研究 :面向复杂网络

出版社：电子工业出版社

ISBN：9787121433870

出版年：2022

作者：董宇欣

学科：电技术、电子技术

资源类型：图书

细分类型：中文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

面向安全协议源代码的形式化自动建模研究

作者：葛艺
出版社：中国科学技术大学
出版年：2023

软件开发的形式化工程方法 :结构化 + 面向对象 + 形式化

作者：刘少英
ISBN：9787302183174
出版社：清华大学出版社
出版年：2008

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

作者：汪彩梅
出版年：2018

面向节点分类的网络嵌入模型研究

作者：昝文
出版社：中国科学院信息工程研究所
出版年：2019

面向航天SOPC软件的形式化验证方法研究与应用

作者：周珊
出版社：中国科学院空间应用工程与技术中心
出版年：2022

面向语音识别的神经网络新模型研究

作者：俞栋
出版年：1994