停止战争！

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

对于科学家：

默认搜索操作

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

问别人

ABZ 2018：英国南安普顿

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/2018会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/2018
迈克尔·巴特勒,亚历山大·拉什克,泰国Son Hoang,克劳斯·赖奇尔:
抽象状态机、合金、B、TLA、VDM和Z-第六届国际会议，2018年ABZ，英国南安普敦，2018年6月5-8日，会议记录。计算机科学课堂讲稿10817,施普林格 2018，国际标准图书编号978-3-319-91270-7

受邀会谈

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/BarnesHWW18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/BarnesHWW18
珍妮特·巴恩斯,乔纳森·哈蒙德,安吉拉·瓦伦伯格,托马斯·威尔森:
工业规模应用中的ABZ语言和工具。 3-15
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/ScheweFTW18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/ScheweFTW18
克劳斯·迪特尔·斯奎,弗拉维奥·费拉罗蒂,Loredana Tec公司,王庆（音）:
分布式自适应系统：理论，规范，推理。 16-30
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/Absial18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/Abrial18
珍妮·雷蒙德·阿布里尔:
关于B和B项：原则、成功和挑战。 31-35

翻译与转换

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/PaulweberPZ18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/PaulweberPZ18
菲利普·鲍韦伯,艾曼纽尔·佩斯科斯塔,乌韦·兹顿:
CASM-IR：用于模型规范、执行和转换的基于ASM的统一中间表示。 39-54
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/FotsoMLF18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/FotsoMLF18
史蒂夫·杰弗里·图埃诺·福克索（Steve Jeffrey Tueno Fotso）,Amel哺乳动物,雷金·拉劳,马克·弗拉皮耶:
Event-B SysML/KAOS领域模型和B系统规范之间转换规则的表示和验证。 55-70
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/KringsSBFL18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/KringsSBFL18
塞巴斯蒂安·克林斯,约书亚·施密特,卡罗拉带来了,马克·弗拉皮耶,迈克尔·勒谢尔:
从合金到B的翻译。 71-86

分析和测试

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/KukovecTK18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/KukovecTK18
朱尔·库科维奇,Thanh-Hai Tran公司,伊戈尔·康诺夫:
从TLA中提取符号转换⁺规范。 89-104
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/WangSKMK18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/WangSKMK18
王开元,艾莉森·沙利文,马诺斯·库库托斯,达尔科·马里诺夫,萨尔夫拉兹·库希德:
关系代数非等价表达式的系统生成。 105-120
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/WangSMK18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/WangSMK18
王开元,艾莉森·沙利文,达科·马里诺夫,萨尔夫拉兹·库希德:
使用测试值的基于求解器的合金模型草图。 121-136

Reals和Hybrid系统

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/BeierleS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/BieerleS18
克里斯托夫·贝尔,克劳斯·迪特尔·斯奎:
具有精确实数运算的抽象状态机。 139-154
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/杜邦APS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/杜邦APS18
纪尧姆·杜邦,雅敏·艾特·阿米尔,马克·潘特尔,尼拉杰·库马尔·辛格:
基于证据的混合系统开发方法：动态逻辑和事件B。 155-170
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/Banach公司18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/Banach网址18
理查德·巴纳赫:
城市列车自动控制问题：“解决”橄榄球俱乐部问题。 171-186

精炼

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/Al-ShareefiLD18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/Al-ShareefiLD18
法拉·阿尔·沙雷菲,阿列克谢·利西萨,克莱尔·狄克逊:
澄清简单身份验证和安全层的歧义。 189-203
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/FerrarottiGST18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/FerrarottiGST18
弗拉维奥·费拉罗蒂,塞恩·冈萨雷斯,克劳斯·迪特尔·斯奎,何塞·玛丽亚·图鲁尔·托雷斯:
具有高阶逻辑的抽象状态机的系统精化。 204-218
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/ZhuBC18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/ZhuBC18
朱晨阳,迈克尔·J·巴特勒,Corina Cêrstea科瑞纳·科斯特:
优化具有调度的并发任务的时间约束。 219-233
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/DalvandiBRF18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/DalvandiBRF18
穆罕默德·达尔瓦迪,迈克尔·J·巴特勒,阿卜杜勒巴基·雷扎扎德,阿西赫·萨利希·法塔巴迪:
计划事件B模型的可验证代码生成。 234-248

混合ERTMS案例研究

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/HoangBR18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/HoangBR18
泰国Son Hoang,迈克尔·巴特勒,克劳斯·赖奇尔:
混合ERTMS/ETCS 3级案例研究。 251-261
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/FotsoFLM18配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/FotsoFLM18网址
史蒂夫·杰弗里·图埃诺·福克索（Steve Jeffrey Tueno Fotso）,马克·弗拉皮耶,雷金·拉劳,阿梅尔·马玛:
使用形式化需求工程方法对混合ERTMS/ETCS 3级标准进行建模。 262-276
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/AcainiJK18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/ArcainiJK18
保罗·阿卡尼,帕维尔·杰泽克,扬·科夫伦:
自旋中混合ERTMS/ETCS 3级案例研究建模。 277-291
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/HansenL0KKNNS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/HansenL0KKNNS18
多米尼克·汉森,迈克尔·勒谢尔,大卫·施奈德,塞巴斯蒂安·克林斯,菲利普·科纳,托马斯·诺林,内德·内耶里,弗兰克·斯科沃伦:
在运行时使用正式B模型演示ETCS混合3级概念与真实列车。 292-306
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/库尼亚M18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/CunhaM18
阿尔西诺库尼亚,努诺·马塞多:
使用Electrum验证混合式ERTMS/ETCS 3级概念。 307-321
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/Abrial18a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/Abrial18a
珍妮·雷蒙德·阿布里尔:
ABZ-2018与Event-B的案例研究。 322-337
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/DghaymPS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/DghaymPS18
达娜·戴姆,迈克尔·波普莱顿,科林·F·斯努克:
使用iUML-B对混合ERTMS Level 3进行图表形式化建模。 338-352
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/MamarFFL18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/MamarFFL18
阿梅尔·马玛,马克·弗拉皮耶,史蒂夫·杰弗里·图埃诺·福克索（Steve Jeffrey Tueno Fotso）,雷金·拉劳:
混合ERTMS/ETCS 3级标准的Event-B模型。 353-366

短文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/BonfantiGM18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/BonfantiGM18
西尔维娅·邦凡蒂,安吉洛·加甘蒂尼,阿蒂夫·马斯科尔:
AsmetaA：抽象状态机的动画制作。 369-373
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/LeitzR18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/LeitzR18
马库斯·莱茨,亚历山大·拉什克:
控制状态图语义的形式化规范。 374-379
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/ScheweTW18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/ScheweTW18
克劳斯·迪特尔·斯奎,Loredana Tec公司,王庆（音）:
ASM捕获膜计算。 380-385
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/VistbakkaBT18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/VistbakkaBT18
Inna Vistbakka酒店,米哈伊尔·巴拉什,埃琳娜·特鲁比西纳:
创建DSL促进Event-B中动态访问控制的建模。 386-391
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/BaughD18文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/BaughD18
约翰·W·鲍（John W.Baugh Jr.）。,特里斯坦染色机:
科学计算中基于状态的形式化方法。 392-396
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/布鲁内尔CCHMT18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/BrunelCCHMT18
朱利安·布鲁内尔,大卫·切穆尔,阿尔西诺库尼亚,托马斯·胡贾萨,努诺·马塞多,珍妮·塔瓦:
提出选举行动层。 397-402
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/SuCK18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/SuCK18
文素,陈金鑫,Shehroz Khan公司:
胰岛素泵：使用Event-B的混合系统模块化建模。 403-408
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/埋设CDE18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/BuryCDE18
纪尧姆·伯里,西蒙·克鲁恩斯,大卫·德拉海耶,皮埃尔·卢伊斯·尤夫拉德:
B方法的自动友好集理论。 409-414
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/负担18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/BurdyD18
莉莲·伯迪,大卫·戴哈贝:
教一只老狗新把戏——工作室B中互动监督员的恶作剧。 415-419
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/BadeauLMVM18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/BadeauLMVM18
巴多（Frédéric Badeau）,文森特·拉克鲁斯,文森特·蒙福特,洛朗·沃辛,克里斯托夫·梅泰勒:
用B方法建模动态数据结构。 420-424
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/AmeurACGHKMMSV18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/AmeurACGHKMMSV18
雅敏·艾特·阿米尔,伊迪尔·阿伊特·萨杜恩,P.卡斯特兰,J.保罗·吉布森,卡西娜·哈西德,苏亚德·科鲁比,多米尼克·梅里,琳达·莫汉德·奥萨伊德,尼拉杰·库马尔·辛格,洛朗·沃辛:
明确领域建模在基于细化的建模设计中的重要性。Event-B实验。 425-430

服务

管理网站设置

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