停止战争！

Остановите войну!

对于科学家来说：

默认搜索操作

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

问别人

18.CAiSE 2006：卢森堡-ReMo2V

>主页 >会议和研讨会 >CAiSE公司

优化列表

精炼活动！

放大了??属于??记录

在中查看细化列表

导出优化列表为

显示全部 ??记录

- 看法
- 出口记录
  dblp键：
  - conf/caise/2006remo2v
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caise/2006remo2v
雷金·拉劳,米歇尔·莱莫恩:
2006年6月5日至9日，卢森堡，CAISE*06法规建模及其验证与验证ReMo2V'06研讨会会议记录。 CEUR研讨会论文集241,CEUR-WS.org公司 2007
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/caise/LaleauL06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caise/LaleauL06
雷金·拉劳,米歇尔·莱莫恩:
前言。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/caise/Hall-MayK06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caise/Hall-MayK06
马丁·霍尔-梅,蒂姆·凯利:
构建安全政策分解。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/caise/Vantheinen MG06公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caise/VantheinenMG06
简·范蒂宁,克里斯托夫·缪斯,斯蒂恩·戈德蒂埃:
法规建模和验证经验。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/caise/BertBLV06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caise/BertBLV06
迪迪埃·伯特,织物花束,伊夫·莱德鲁,西尔维·维格斯:
通过形式模型的自动分析对法规文件进行验证。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/caise/DelahayeED06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caise/DelahayeED06
大卫·德拉海耶,Jean-Frédéric Etienne女士,Véronique Donzeau-Gouge公司:
重点模拟机场安全条例。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/caise/PolackSKC06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caise/PolackSKC06
菲奥娜·波拉克,蒂蒂玛·斯利瓦塔纳库,蒂姆·凯利,约翰·克拉克:
验证真实系统规定的偏差分析。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/caise/LonardonKR06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caise/LonardonKR06
米歇尔·莱昂纳德,阿卜杜拉齐兹·卡德拉乌伊,Jolita Ralyté:
信息系统调整层面的监管。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/caise/FotschPR06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caise/FotschPR06
丹尼尔·福奇,埃尔克·普尔维穆勒,威廉·R·罗萨克:
建模和验证基于工作流的法规。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/caise/RifautF06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caise/RifautF06
安德烈·里法特,克里斯托夫·费尔特斯:
通过使用目标模型和ISO/IEC 15504方法将巴塞尔新协议法规正式化，改进运营风险管理系统。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/caise/DarimontL06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caise/DarimontL06
罗伯特·达里蒙特,米歇尔·莱莫恩:
法规的目标分析。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/caise/PonsardD06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caise/PonsardD06
克里斯托夫·蓬萨德,伊曼纽尔·迪厄尔:
从需求模型到B。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/caise/Ledru06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caise/Ledru06
伊夫·莱德鲁:
足球替补规则的正式化。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/caise/Speck06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caise/Speck06
安德烈亚斯·斯佩克:
电子商务系统的建模和验证。

服务

管理网站设置

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