默认搜索操作

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

问别人

国际技术转让软件工具杂志，第24卷

>主页 >期刊销售 >国际技术转让软件工具杂志

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第24卷第1期，2022年2月

塔卡斯2019

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/CharvatSV22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/CharvatSV22
卢卡斯·查瓦特,亚历斯·斯姆卡,托马斯·沃纳尔:
利用参数系统检测管道危险。 1-28
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/VojnarZ22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/VojnarZ22
托马斯·沃纳尔,张丽君:
系统构建和分析的工具和算法：2019年TACAS的特刊。 29-31
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/StoilkovskaKWZ22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/StoilkovskaKWZ22
伊琳娜·斯托尔科夫斯卡,伊戈尔·科诺夫,约瑟夫·威德,弗洛里安·祖勒格:
通过有界模型检查验证同步容错算法的安全性。 33-48
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/EnevoldsenLS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/EnevoldsenLS22
瑟伦·恩沃尔森,金·古德斯特兰·拉森,吉尔·斯尔巴:
扩展的抽象依赖关系图。 49-65
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/VukmirovicBCS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/VukmirovicBCS22
彼得·武克米洛维奇,布兰切特,西蒙·克鲁安斯,斯蒂芬·舒尔茨:
将brainiac证明程序扩展到无lambda-free高阶逻辑。 67-87
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BabarCM22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/BabarCM22
朱奈德·巴巴尔,吉安弗兰科·西亚多,安德鲁·米纳:
CESRBDDs：具有补边和边指定约简的二元决策图。 89-109
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BlichaHKS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/BlichaHKS22
马丁·布利查,安蒂·海瓦里宁,扬·科夫伦,娜塔莎·莎莉吉娜:
在Farkas插值分解中使用线性代数。 111-125

第24卷第2期，2022年4月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/VernotteCLP22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/VernotteCLP22
亚历山大·维诺特,艾美儿奶油,布鲁诺传奇,法比安·佩鲁克斯:
一种特定于域的语言，用于为空中交通管制系统设计虚假数据注入测试。 127-158
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/El-HokayemF22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/El-HokayemF22
安托万·埃尔·霍卡耶姆,伊利耶斯·法尔科内:
将运行时验证带回家：使用分散规范对智能家居进行分层监控的案例研究。 159-181
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/DumasGJLMPPTTY22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/DumasGJLMPPTTY22
马龙·杜马,卢西亚诺·加西亚·巴涅洛斯,佐塞普·贾格尔,雅诗兰黛,雷蒙达斯·马图列维修斯,阿里萨·潘科娃,马丁·佩泰,Pille Pullonen-Raudvere公司,Aivo图茨,Reedik Tuuling公司,Maksym Yerokhin公司:
业务流程的多级隐私分析：Pleak工具集。 183-203
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/sttt/ArrasAPMSGC22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/ArrasAPMSGC22
保罗·安东尼·阿拉斯,安娜斯塔西奥斯·安德罗尼迪斯,路易斯·皮纳,卡奥利斯·米图萨斯,《千禧书》,丹尼尔·格伦伯格,克里斯蒂安·卡达尔:
SaBRe：加载时选择性二进制重写。 205-223
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/LouadahL22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sttt/LuadahL22
哈斯娜·卢阿达,Yvan Labiche公司:
与Citrus（航空电子系统接口）的接口控制文件建模。 225-245
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BettiniRIP22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/http://BettiniRIP22
洛伦佐·贝蒂尼,大卫·迪·鲁西奥,卢多维科·伊奥维诺,阿方索·皮兰托尼奥:
使用edelta支持安全的元模型进化。 247-260
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/StrandbergAS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/StrandbergAS22
佩尔·埃里克·斯特兰德伯格,瓦西夫·阿夫扎尔,丹尼尔·桑德马克:
通过持续集成和夜间测试进行软件测试结果探索和可视化。 261-285
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/sttt/Lowe22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/http://Lowe22
加文·洛:
使用视图抽象对具有组件标识的系统进行参数化验证。 287-324

第24卷第3期，2022年6月

2019/2020年FMICS

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BeekLNW22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/BeekLNW22
莫里斯·特尔·比克,金·拉森,德扬·尼科维奇,蒂姆·A·C·威廉斯:
工业关键系统的形式化方法和工具。 325-330
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/WikVKN22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sttt/WeikVKN22
诺曼·威克,马蒂亚斯·沃尔克,Joost-Pieter Katoen公司,尼尔斯·涅恩:
铁路基础设施运营风险评估的DFT建模方法。 331-350
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/sttt/BasileBFL22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/BasileBFL22
大卫·巴兹勒,莫里斯·特尔·比克,阿莱西奥·法拉利,Axel Legay公司:
探索ERTMS/ETCS全移动块规范：使用形式化方法的经验。 351-370
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/KouskoulasMGSPB22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/KouskoulasMGSPB22
亚尼·库斯科拉斯,Thyago J.马查多,丹尼尔·杰宁,极光C.施密特,伊万·帕普萨,约书亚·布鲁莱:
包络线和波浪：水平非确定性转弯时安全避免多车碰撞。 371-394
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/GuJPSEL22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/GuJPSEL22
荣古,彼得·杰勒·詹森,丹尼·鲍尔森,克里斯蒂娜·塞塞莱亚努,爱德华·伊诺乌,克里斯蒂娜·隆德奎斯特:
多自治代理的可验证策略合成：一种可扩展的方法。 395-414
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BinderABHJ22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/BinderABHJ22
本杰明·宾德,米哈伊尔·细辛,弗洛里安·布兰德纳,贝尔加塞姆·本·赫迪亚,马修·扬:
超标量三核结构中放大定时异常的形式化建模和验证。 415-440
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BunteGW22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/BunteGW22
奥拉夫·邦特,路易斯·范古尔,蒂姆·A·C·威廉斯:
使用mCRL2对OIL组件规范进行正式验证。 441-472
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/HuangC22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/HuangC22
塞缪尔·黄,兰斯·克莱维兰:
有限数据流上的时态逻辑查询检查。 473-492
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/RockaiB22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/http://RockaiB22
彼得·罗凯,吉里·巴纳特:
DivSIM是LLVM位码的交互式模拟器。 493-510

第24卷第4期，2022年8月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/HabibiM22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/http://HabibiM22
伊莱赫·哈比比,Seyed-Hassan Mirian-Hosseinabadi公司:
通过基于方法的属性语法将测试生成为web服务（TaaWS）。 511-527
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/SalvaB22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sttt/SalvaB22
塞巴斯蒂安·萨尔瓦,Elliott印记:
学习与CkTailv2通信系统的行为模型和依赖关系图。 529-548
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/Verbeek22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/Verbeek22
H.M.W.韦贝克:
ProM 6.9中的Log Skeleton Visualizer。 549-561
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/sttt/BackSHM22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/http://BackSHM22
克里斯托夫·奥林回来,蒂杰斯·斯拉茨,托马斯·特洛伊斯·希尔德布兰特,莫滕·马夸德:
DisCovR：准确高效地发现声明性流程模型。 563-587
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/HenselJKQV22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/HenselJKQV22
克里斯蒂安·亨塞尔,塞巴斯蒂安·荣格斯,Joost-Pieter Katoen公司,蒂姆·夸特曼,马蒂亚斯·沃尔克:
概率模型检查器Storm。 589-610
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/sttt/LegayM22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/LegayM22
Axel Legay公司,蒂齐亚娜·玛格丽亚:
系统构建和分析的工具和算法：2017年TACAS特刊。 611-612
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/AntoninoGR22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/AntoninoGR22
佩德罗·安东尼诺,托马斯·吉布森-罗宾逊,A.W.罗斯科:
使用标记结构和不变量对并发系统进行近似验证。 613-633
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/EsparzaKRS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sttt/EsparzaKRS22
哈维尔·埃斯帕尔扎,扬·克伦斯克,Jean-François Raskin女士,所罗门·西克特:
从线性时序逻辑和极限确定性Büchi自动机到确定性奇偶自动机。 635-659
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BeyerLW22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/BeyerLW22
德克·拜尔,斯特凡·洛韦,菲利普·温德勒:
更正为：可靠基准：要求和解决方案。 661

第24卷第5期，2022年10月

TACAS 2020年

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BiereP22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/BiereP22
阿明·比尔,大卫·帕克:
系统构建和分析的工具和算法：TACAS 2020的一个特刊。 663-665
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/FrenkelGPS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sttt/FrenkelGPS22
哈达尔·弗兰克尔,奥尔娜·格伦伯格,科琳娜·帕萨雷努,萨拉伊·申瓦尔德:
假设、保证或修复：非常规财产的常规框架。 667-689
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/FrohnF22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sttt/FrohnF22
弗洛里安·弗洛恩,卡斯滕·福斯:
模块循环加速和非终结证明的演算。 691-715
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BeckerJMRST22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/BeckerJMRST22
Benedikt F.H.贝克尔,尼古拉斯·珍妮罗德,克劳德·马奇,亚恩·雷吉斯·贾纳斯,米哈拉·西希雷亚努,拉尔夫·特雷恩:
用于分析Debian软件包中维护者脚本的CoLiS平台。 717-733
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/NeeleWWV22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/http://NeeleWWV22
托马斯·内勒,蒂姆·A·C·威廉斯,威格·威瑟林克,安蒂·瓦尔马里:
奇偶对策和参数化布尔方程系统的部分阶约简。 735-756
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/HamersHJ22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/HamersHJ22
鲁本·哈默斯,埃里克·霍林斯,宋世宗:
Discourje项目：Clojure中通信协议的运行时验证。 757-782
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/HiepMBBG22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/HiepMBBG22
汉斯·戴特·A·希普,奥拉夫·马图伊斯,金顶边,弗兰克·S·德·波尔,古夫学院:
使用KeY（扩展文件）验证OpenJDK的LinkedList。 783-802
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BadingsCJJKT22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/BadingsCJJKT22
汤姆·巴丁斯,穆拉特·库布克特佩,尼尔斯·詹森,塞巴斯蒂安·荣格斯,Joost-Pieter Katoen公司,Ufuk Topcu公司:
基于场景的不确定参数MDP验证。 803-819
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BuddeDMS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/BuddeDMS22
卡洛斯·巴德,佩德罗·达吉尼奥,劳尔·蒙蒂,玛丽埃尔·斯托琳加:
通过罕见事件模拟分析非马尔可夫可修复故障树。 821-841
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/ChakrabortyGU22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/ChakrabortyGU22
Supratik Chakraborty公司,阿舒托什·古普塔,Divyesh Unadkat公司:
全程序归纳：验证无循环不变量的数组程序。 843-888

第24卷第6期，2022年12月

FMICS 2021

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/MhammedHA22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/MohammedHA22
Mawal A.穆罕默德,贾梅勒丁·哈辛,穆罕默德·阿尔沙耶布:
GSDetector：自动检测GRL目标模型中的臭味的工具。 889-910
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/LeeBOKK22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/LeeBOKK22
李在勋（Jaehun Lee）,Kyungmin Bae公司,彼得·塞巴·奥尔夫茨基,莎伦·金,Minseok Kang公司:
AADL中虚拟同步网络物理系统的建模和形式化分析。 911-948
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/TaylorFN22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/TaylorFN22
拉姆齐·G·泰勒,迈克尔·福斯特,Siobhán北部:
一种用于验证或反驳扩展有限状态机的跟踪属性的自动化框架。 949-972
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/Lluch-LafuenteM22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/Lluch-LafuenteM22
阿尔贝托·卢奇·拉富恩特,阿纳斯塔西亚·马夫里杜:
工业关键系统的形式化方法和工具。 973-976
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/LourencoCFMMI22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/LourencoCFMMI22
Cláudio Belo Lourenço贝洛·卢伦索,丹尼斯·库西诺,弗洛里安·费索尔,克劳德·马奇,大卫·曼特雷,井上裕久:
自动形式化分析梯形图程序的时间属性。 977-997
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/HansenTGPPIMACR22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/HansenTGPPIMACR22
西蒙·特兰·汉森,卡斯珀·图勒,科劳迪奥·戈麦斯,雅各·范德波尔,毛里齐奥·帕尔米耶里,埃明·奥古斯·因奇,弗雷德里克·帕卢丹·马德森,耶稣·阿方索,何塞·安杰尔·卡斯特拉诺斯,何塞·曼努埃尔·罗德里格斯·福顿:
根据代数循环和自适应步骤验证和综合联合仿真算法。 999-1024
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/KivirigaLN22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/http://KivirigaLN22
安德烈·基维里加,金·古德斯特兰·拉森,乌里克·尼曼:
UPPAAL中的随机可达性分析：定时系统中的快速错误检测。 1025-1042
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/SchmidtL22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/SchmidtL22
约书亚·施密特,迈克尔·勒谢尔:
B和Event-B模型验证的SMT求解。 1043-1077

管理网站设置

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