停止战争！

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

对于科学家：

默认搜索操作

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

问别人

1998年第四届TACAS：葡萄牙里斯本（ETAPS 1998的一部分）

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/1998年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/1998
伯恩哈德·斯特芬:
1998年3月28日至4月4日在葡萄牙里斯本举行的欧洲软件理论与实践联合会议第四届国际会议（TACAS’98）《系统构建与分析工具与算法》（Tools and Algorithms for Construction and Analysis of Systems）。计算机科学课堂讲稿1384,施普林格 1998，国际标准图书编号3-540-64356-7

受邀演讲

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Bryant98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Bryant98
兰达尔·布莱恩特:
流水线处理器的正式验证。 1-4

1.模型检查

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/LiuRS98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/LiuRS98
刘新新,C.R.Ramakrishnan（罗马克里希南）,斯科特·斯莫尔卡:
交替不动点的完全局部有效求值（扩展抽象）。 5-19
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/LasterG98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/LasterG98
凯伦·拉斯特,奥尔娜·格伦伯格:
软件的模块化模型检查。 20-35
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HuhnNW98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HuhnNW98
迈克拉·胡恩,彼得·尼伯特,弗兰克·沃尔纳:
基于当地州的验证。 36-51
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AjamiHI98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AjamiHI98
哈利勒·阿贾米,谢尔盖·哈达德,Jean-Michel Ilié:
利用线性时间时序逻辑模型检查中的对称性：一步到位。 52-67

2.设计与架构

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Garavel98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Garavel98
休伯特·加拉维:
OPEN/CÆSAR：用于验证、仿真和测试的OPEN软件体系结构。 68-84
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/StevensS98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/StevensS98
佩蒂塔·史蒂文斯,科林·斯特林:
实用模型-使用游戏进行检查。 85-101
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Grahlmann98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Grahlmann98
伯恩德·格拉曼:
使用Petri网结合有限自动机、并行程序和SDL。 102-117
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Ben-AbdallahL98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Ben-AbdallahL98
汉尼·本·阿巴达拉,斯特凡·洛伊:
MESA：支持基于场景的并发系统设计。 118-135

各种应用

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/VelevB98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/VelevB98
米罗斯拉夫·韦列夫,兰达尔·布莱恩特:
符号三元仿真中存储器阵列的高效建模。 136-150
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/PnueliS98文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/PnueliSS98
阿米尔·普努利,迈克尔·西格尔,埃利·辛格曼:
翻译验证。 151-166
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Springer98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Springer98
克里斯托夫·斯普伦格:
Coq中模态微积分的验证模型检查器。 167-183
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AikenFS98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AikenFS98
亚历山大·艾肯,曼努埃尔·法恩德里奇,苏振东:
检测继电器梯形逻辑程序中的竞争。 184-200

4.现场应用

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Lind-NielsenABHKL98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Lind-NielsenABHKL98
约恩·林德·尼尔森,亨利克·赖夫·安徒生,格德·贝尔曼,亨利克·胡尔加德,科雷·克里斯托弗森,金·古德斯特兰·拉森:
使用组成和依赖分析验证大型状态/事件系统。 201-216
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BrockmeyerW98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BrockmeyerW98
Udo Brockmeyer公司,冈纳·维提奇（Gunnar Wittich）:
Tamagotchis无需模具-语句设计验证。 217-231
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Catel98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Catel98
蒂埃里·卡特尔:
SC++应用程序的建模和验证。 232-248
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ShermanM98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ShermanM98
大卫·詹姆斯·谢尔曼,尼古拉斯·马尼耶:
Facotum：系统分析器的自动和系统共享支持。 249-262

5.实时系统验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AcetoBL98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AcetoBL98
卢卡·埃特罗,奥古斯托·布尔古埃诺,金·古德斯特兰·拉森:
通过时间自动机可达性测试进行模型检查。 263-280
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/LindahlPY98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/LindahlPY98
马格努斯·林达尔,保罗·佩特森,王毅:
齿轮控制器的形式化设计与分析。 281-297
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AdullaJ98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AdullaJ98
帕罗什·阿齐兹·阿卜杜拉,本特·琼森:
验证定时进程网络（扩展抽象）。 298-312
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/DowsT98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/DowsT98
康拉多·道斯,斯塔夫罗斯·特里帕基斯:
使用抽象对实时可达性属性进行模型检查。 313-329

6.混合分析技术

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AlurHR98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AlurHR98
拉吉夫·阿鲁尔,托马斯·汉津格,斯里拉姆·拉贾马尼:
过渡层次的象征性探索。 330-344
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/KurshanLMPY98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/KurshanLMPY98
罗伯特·P·库尔山,弗拉基米尔莱温,马吕斯·米娜,多龙·A·贝利德,HüsnüYenigün:
静态部分降阶。 345-357
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/CharatonikP98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/CharatonikP98
维托尔德·查拉托尼克,安德烈亚斯·波德尔斯基:
基于集合的无功无限状态系统分析。 358-375
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BjornerP98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BjornerP98
尼古拉·比约纳,马克·皮科拉:
确定固定和非固定大小的位向量。 376-392

7.案例研究和经验

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/RuysB98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/RuysB98
西奥·C·鲁伊斯,埃德·布林克斯马:
具有系统建模和验证的识字编程经验。 393-408
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/JensenL98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/JensenL98
亨利克·埃杰斯博·延森,南希·A·林奇:
烧伤证明N个-使用抽象处理互斥算法。 409-423
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/GribomontZ98公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/GribomontZ98
E.帕斯卡·格里博蒙特,盖·泽纳:
Szymanski算法的自动验证。 424-438
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/RegensburgerB98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/RegensburgerB98
弗兰兹·雷根斯堡,安妮·巴纳德:
西门子移动电话部门SDL系统的正式验证。 439-455

服务

管理网站设置

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