登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

基于MDA的形式化模型转换技术
出版社：南京大学出版社
ISBN：9787305247712
出版年：2022
作者：李宗花著
资源类型：图书
细分类型：中文文献
3浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

基于结构转换和序列标注的形式化句法统计翻译模型研究
  • 作者：张大鲲
  • 出版社：中国科学院
  • 出版年：2010
...

基于MDA的软件过程模型管理与执行研究
  • 作者：袁峰
  • 出版社：中国科学院
  • 出版年：2006
...

网购软件信任演化模型的形式化研究 :面向复杂网络
  • 作者：董宇欣
  • ISBN：9787121433870
  • 出版社：电子工业出版社
  • 出版年：2022
...

拒绝服务攻击形式化方法及SPIN模型检测研究
  • 作者：魏晋
  • 出版年：2009
...

一种两阶段提交的改进模型及其形式化描述
  • 作者：唐建明
  • 出版年：1996
...

基于模型检测的安全协议形式化分析方法的研究
  • 作者：赵振举
  • 出版社：中国科学院
  • 出版年：2011