停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2023年第17次任务：英国布里斯托尔

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/tase/2023
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tase/2023
克里斯蒂娜·戴维,孟孙:
软件工程的理论方面——第17届国际研讨会，TASE 2023，英国布里斯托尔，2023年7月4日至6日，会议记录。计算机科学课堂讲稿13931,施普林格 2023，国际标准图书编号978-3-031-35256-0
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/tase/NigamT23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tase/NigamT23
维维克·尼甘姆,卡罗琳·塔尔科特:
使用运行时保证体系结构为网络物理系统自动化可恢复性证明。 1-19
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/tase/Lui023
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tase/Liu203
刘思玉,王玉亭:
验证了连续传递样式到静态单一赋值形式的转换。 20-37
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/tase/DuLS0023
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tase/DuLS0023
杜梦君,李培阳,连松,W.K.Chan先生,薄江:
OAT：基于强化学习的优化Android测试框架。 38-58
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/tase/0001ZCW23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tase/0001ZCW23
朱晨阳,朱金玉,蔡玉洁,王芳（Fang Wang）:
分解反应性多智能体强化学习的综合策略。 59-76
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/tase/LidstromG23型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tase/LidstromG23
克里斯蒂安·利德斯特伦,迪利安·古罗夫:
基于合同的嵌入式软件设计。 77-94
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/tase/HampusN23型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tase/HampusN23网址
安东·汉普斯,马蒂亚斯·尼伯格:
使用时间自动机验证概率契约的精化。 95-113
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/tase/Bhateja23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tase/Bhateja23
Puneet Bhateja公司:
时间进程上的异步测试等效性。 114-125
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/tase/FooCC23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tase/FooCC23
大流士·福,安德烈亚·科斯蒂亚,魏恩甘钦:
与Choreographic PlusCal的协议一致性。 126-145
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/tase/Wang0TDXY23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tase/Wang0TDXY23
吴王,张楠（Nan Zhang）,丛天,段振华,徐志杰,于超峰:
验证RTL级芯片设计。 146-163
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/tase/DelicarisSAR23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tase/DelicarisSAR23
乔安娜·德利卡利斯,斯特凡·舒普,埃里卡·阿布拉哈姆,安妮·雷姆克:
随机时钟矩形自动机可达概率的最大化。 164-182
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/tase/Yao023
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tase/Yao023
姚圣阳,秦力:
智能互联车辆协作中知识共享与融合的层次空间逻辑。 183-201
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/tase/佳乐0ZHY023
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tase/JiaL0ZHY023网站
乔文佳,易律,吴鹏（音）,伯华詹,郝继峰,红叶,王超（Chao Wang）:
VeriLin：大型并发对象的线性化检查器。 202-220
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/tase/BallouS23型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tase/BallouS23
肯尼·巴鲁,埃琳娜·谢尔曼:
识别区域抽象域中的最小更改。 221-239
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/tase/Santos0M23型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tase/Santos0M23
警长桑托斯,丹尼尔·菲格雷多,亚历山大·马德拉:
idDL2DL-dℒ的间隔语法。 240-247
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/tase/LiangRL00023
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tase/LiangRL00023
甄亮,德金仁,刘万伟,Ji Wang（音译）,杨文静,白雪:
基于集边界分析的神经网络安全性验证。 248-267
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/tase/Chu0BS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tase/Chu0BS23
文景楚,Shuo Chen（陈硕）,马塞洛·M·邦桑格,曾林石:
近似学习量子自动机。 268-285
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/tase/BargmannW23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tase/BargmannW23
劳拉·巴格曼,海克·韦尔海姆:
基于视图的PSO公理推理。 286-304
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/tase/AliP23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tase/AliP23
穆罕默德·里兹万·阿里,紫罗兰Ka I Pun:
资源敏感工作流模型的静态分析器。 305-312
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/tase/LaoLZCCG23会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tase/LiaLZCCG23
廖方亭,顺龙,朱伟恒,陈文珠,曹思雷,新一关:
MTCD：一种基于方法表的高效克隆检测技术。 313-326
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/tase/CunhaMB23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tase/CunhaMB23
朱利安娜·库尼亚,亚历山大·马德拉,路易斯·索尔斯·巴博萨:
次协调过程的逐步发展。 327-343
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/tase/Wu0Q23会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tase/Wu0Q23
吴云林,徐志武,秦胜超:
基于带参数API使用图的模式挖掘检测API误用。 344-363

服务

管理网站设置

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