默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

欧洲软件科学与技术协会电子通信，第46卷

>主页 >期刊销售 >欧洲软件科学与技术协会电子通信

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2011年第46卷

关键系统的自动验证

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ecesst/RomanovskyJBL11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/eceasst/RomanovskyJBL11
亚历山大·罗曼诺夫斯基,克利夫·琼斯,延斯·本德斯普托,迈克尔·勒谢尔:
前言。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ecesst/WeitlN11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/eceasst/WeitlN11
弗兰兹·魏特尔,Shin Nakajima先生:
使用时序描述逻辑对静态结构和动态行为进行集成模型检查。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/eceasst/BozzanoCLMMRT11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/eceasst/BozzanoCLMMRT11
马可·波扎诺,亚历山德罗·西马蒂,奥列格·利萨戈,克里斯蒂安·马塔雷,塞尔吉奥·莫弗,马可·罗维里,斯特凡诺·托内塔:
Altarica模型的符号模型检查和安全评估。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/eceasst/JastramHL11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/eceasst/JastramHL11
迈克尔·贾斯特伦,斯特凡·哈勒斯特德,卢卡斯·拉登伯格:
混合使用正式和非正式模型元素来跟踪需求。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/eceasst/SarshoghB11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/eceasst/SarshoghB11
穆罕默德·雷扎·萨绍,迈克尔·巴特勒:
Event-B中离散时序属性的规范和细化。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/eceasst/ChausseXDR11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/eceasst/ChausseXDR11
尼古拉斯·乔斯,徐老师,尤尔根·丁格尔,凯伦·鲁迪:
结合模型检验和离散事件监督合成。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/eceasst/PhilippeartsVSJP11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/eceasst/PhilippeartsVSJP11
彼得·菲利帕茨,Frédéric Vogels餐厅,简·斯曼斯,雅各布施,弗兰克·皮森斯:
比利时电子身份证：验证案例研究。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ecesst/HoangISW11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/eceasst/HoangISW11
泰国Son Hoang,阿列克谢·伊利亚索夫,雷纳托·席尔瓦,魏伟:
事件B分解综述。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/eceasst/YeganefardB11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/eceasst/YeganefardB11
萨纳斯·叶加内法德,迈克尔·巴特勒:
构建控制系统的功能需求，以促进基于细化的形式化。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/eceasst/GanDH11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/eceasst/GanDH11
香甘,乔里·杜布罗文,凯霍·赫尔扬科:
验证星载软件的符号模型检查方法。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ecesst/DongolH11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/eceasst/DongolH11
布里杰什·多戈尔,伊恩·海耶斯:
使用时间段近似理想化实时规范。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/eceasst/Barnes11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/eceasst/Barnes11
珍妮特·伊丽莎白·巴恩斯:
形式方法的工业使用经验。

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。