正在加载...
系统目前无法执行此操作,请稍后再试。
我的个人学术档案
我的图书馆
统计指标
设置
登录
查看文章
Amira Henaien
Certification des raisonnements formels portant sur des systèmes d'information critiques.(Certifying formal reasoning about critical information systems).
作者
Amira Henaien
发表日期
2015
机构
University of Lorraine, Nancy, France
学术搜索中的文章
Certification des raisonnements formels portant sur des systèmes d'information critiques.(Certifying formal reasoning about critical information systems).
A Henaien - 2015
相关文章
关于学术搜索
Google 搜索帮助