停止战争！

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

对于科学家：

默认搜索操作

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

问别人

1997年第四届艺术节：西班牙马略卡岛帕尔马

>主页 >会议和研讨会 >艺术

优化列表

优化激活！

放大了??属于??记录

查看优化列表

将细化列表导出为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/arts/1997
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arts/1997
米奎尔·伯特伦,特奥多尔·罗斯:
基于转换的无功系统开发，第四届实时系统与并发和分布式软件国际AMAST研讨会，ARTS’97，西班牙马洛卡帕尔马，1997年5月21日至23日，会议记录。计算机科学课堂讲稿1231,施普林格 1997，国际标准图书编号3-540-63010-4

荣誉会议-拉蒙·卢尔：计算机科学的先驱

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/arts/Bonner97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arts/Bonner97
安东尼·邦纳:
Llull在做什么？ 1-14
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/arts/Sales97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arts/Sales97
吨销售额:
作为计算机科学家的卢尔或为什么卢尔是我们中的一员。 15-21

特邀报告

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/arts/BjornerMSU97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arts/BjornerMSU97
尼古拉·比约纳,佐哈尔·曼纳,亨尼·西普玛,托马斯·尤里韦:
使用STeP对实时系统进行演绎验证。 22-43
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/arts/Broy97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arts/Broy97
曼弗雷德·布罗伊:
时间的精炼。 44-63

论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/arts/CamposC97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arts/CamposC97
塞尔吉奥·瓦莱·阿吉亚尔·坎波斯,埃德蒙·克拉克:
Verus语言：用BDD高效地表示时间。 64-78
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/arts/CauZ97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arts/CauZ97
安东尼奥·考,侯赛因·泽丹:
细化时间间隔逻辑规范。 79-94
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/arts/RusW97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arts/RusW97
特奥多尔·罗斯,埃里克·范·威克:
整合时序逻辑和模型检查算法。 95-110
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/arts/Dierks97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arts/Dierks97
亨宁·迪尔克斯:
PLC-自动机：一类新的可实现实时自动机。 111-125
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/arts/ScholzN97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arts/ScholzN97
彼得·舒尔茨,迪特尔·拿撒勒:
状态图的通信概念：语义基础。 126-140
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/arts/D乔治97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arts/DArgenio97
佩德罗·达吉尼奥:
正则过程和时间自动机。 141-155
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/arts/FeyerabendJ97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arts/FeyerabendJ97
康拉德·费耶拉本德,伯恩哈德·约斯科:
实时需求规范的可视化Fomalism。 156-168
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/arts/Yamane97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arts/Yamane97
佐藤雅满:
基于受限时间自动机的并发和分布式系统形式化描述与验证方法。 169-183
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/arts/LanoS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arts/LanoS97
凯文·拉诺,阿图罗·桑切斯:
实时系统的转换形式化开发。 184-198
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/arts/Bertran97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arts/Bertran97
米奎尔·伯特伦:
将监视器转换为通信同步并行进程：设计中的系统优化步骤。 199-215
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/arts/FevrierNS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arts/FevrierNS97
阿尔诺·弗雷尔,埃利·纳吉姆,珍妮·伯纳德·斯特凡尼:
ODP合同。 216-232
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/arts/SmarandacheG97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arts/SmarandacheG97
伊琳娜·斯马兰达奇,保罗·勒格尼奇:
信号中的仿射变换及其在实时系统规范和验证中的应用。 233-247
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/arts/BackBS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arts/BackBS97
拉尔夫·约翰回来,马丁·比奇,埃米尔·塞克林斯基:
对象的基于操作的并发和同步。 248-262
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/arts/BertranAD97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arts/BertranAD97
米奎尔·伯特伦,费利佩·阿尔瓦雷斯-库瓦斯,阿尔伯特·杜兰:
并行通信过程优化中的通信扩展抽象类型。 263-279
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/arts/GalanP97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arts/GalanP97
路易斯·加兰,里卡多·佩纳:
公平框架中分布式程序的验证和改进。 280-294
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/arts/刘J97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arts/LiuJ97
刘志明,马泰·约瑟夫:
将实时调度正式化为程序优化。 295-309
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/arts/GoldsackLD97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arts/GoldsackLD97
斯蒂芬·戈德萨克,凯文·拉诺,尤金·杜尔:
连续实时系统的规范和改进。 310-324
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/arts/Wang97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arts/Wang97
Farn Wang公司:
高级执行时间分析。 325-339
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/arts/CuarteroFR97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arts/CuarteroFR97
费尔南多·库亚特罗,大卫·德·弗鲁托斯·埃斯克里格,Valentín Valero Ruiz女士:
一个完善的概率过程证明系统。 340-352
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/arts/Gregorio-RodrigrezDNP97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arts/Gregorio-RodrigrezDNP97
卡洛斯·格雷戈里奥·罗德里格斯,路易斯·费尔南多·拉娜·迪亚斯,曼努埃尔·努涅斯,佩德罗·帕拉奥·戈斯坦扎:
概率时间进程代数的语义测试。 353-367
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/arts/Llana-DiazF97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arts/Llana-DiazF97
路易斯·费尔南多·拉娜·迪亚斯,大卫·德·弗鲁托斯·埃斯克里格:
定时测试的指称语义。 368-382
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/arts/BowmanD97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arts/BowmanD97
霍华德·鲍曼,约翰·德里克:
随时间扩展LOTOS：真正的并发视角。 383-399
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/arts/HernalsteenF97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arts/HernalsteenF97
克里斯蒂安·赫纳尔斯汀,阿尔诺·弗雷尔:
在ET-LOTOS中引入挂起/恢复操作符。 400-414
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/arts/MarinoPDN97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arts/MarinoPDN97
完美马里诺,弗朗西斯科·波扎,米盖尔·安吉尔·多明格斯,胡安·诺盖拉:
用形式化描述语言规范和验证实时现场总线。 415-429

服务

管理网站设置

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