停止战争！

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

对于科学家：

默认搜索操作

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

问别人

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

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

优化列表

优化激活！

放大了??属于??记录

在中查看细化列表

导出优化列表为

显示全部 ??记录

第13卷第1期，2011年1月

SPIN 2009年

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/Pasareanu11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/Pasareanu11
科里纳S.Pasareanu:
软件模型检查和分析的新结果。 1-2
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/HahnHZ11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/http://HahnHZ11
恩斯特·莫里茨·哈恩,霍尔格·赫尔曼斯,张丽君:
参数马尔可夫模型的概率可达性。 3-19
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BosnackiESW11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/BosnackiESW11
德拉甘·博斯纳奇,斯特凡·埃德尔坎普,达米安·苏列夫斯基,安东·威伊斯:
通用图形处理器上的并行概率模型检查。 21-35
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/sttt/KiddLTR11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/KiddLTR11
尼古拉斯·基德,彼得·拉姆米奇,泰西尔·图利,托马斯·W·代表:
用于检测与锁通信的进程的原子性冲突的决策过程。 37-60
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/LimLR11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/LimLR11
林俊熙,阿卡什·拉尔,托马斯·W·代表:
通过语义重新解释进行符号分析。 61-87
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/ShmerlVK11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/http://SchmerlVK11
塞巴斯蒂安·施梅尔,迈克尔·沃格尔,哈特穆特·科尼格:
使用模型检查来识别入侵检测签名中的错误。 89-106

第13卷第2期，2011年4月

WSE 2009年

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/ZouWW11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/ZouWW11
邹莹（音）,季武,Kenny Wong（肯尼·黄）:
特邀编辑对网络系统进化国际研讨会专题部分的介绍。 107-109
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/DobolyiSW11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/DobolyiSW11
金加·多博利,伊丽莎白·索希廷（Elizabeth Soechting）,维斯特利·威默尔:
使用基于web的应用程序相似性自动化回归测试。 111-129
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/MarchettoTTAH11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/MarchettoTTAH11
亚历山德罗·马切托,罗伯托·蒂埃拉,保罗·托内拉,纳迪娅·阿尔沙旺,马克·哈曼:
自动化web测试的爬网能力指标。 131-149
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/TorchianoRM11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/TorchianoRM11
马可·托奇亚诺,菲利波·里卡,亚历山德罗·马切托:
web应用程序比桌面应用程序更容易出现缺陷吗？ 151-166
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/MosincatB11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/MosincatB11
阿迪娜·莫辛卡特,沃尔特·宾德:
通过SLA违规检测和动态绑定自动维护服务组合。 167-179
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/DAmbrosLLR11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/DAmbrosLLR11
马可·德安布罗斯,米歇尔·兰扎,米尔恰·伦古,罗曼·罗布斯:
关于将软件可视化工具移植到web。 181-200

第13卷第3期，2011年6月

HVC 2008

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/sttt/ChocklerH11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/ChocklerH11
哈娜·查克勒,艾伦·J·胡:
前言。 201-205
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/AdlerBCPU11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/AdlerBCPU11
约拉姆·阿德勒,戴尔蓝,托马斯·孔蒂,理查德·普雷维特,Shmuel Ur公司:
使用相对功能覆盖率评估工作负载。 207-221
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/Artho11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/http://Artho11
西里尔·阿瑟:
迭代增量调试。 223-246
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BarasFFGZ11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/BarasFFGZ11
多里特·巴拉斯,Shai Fine公司,劳伦特·福尼尔,丹·盖革,阿维·齐夫:
使用贝叶斯网络自动提升跨产品覆盖率。 247-261
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/sttt/Bar-IlanFHSS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/Bar-IlanFHSS11
Omer Bar-Ilan公司,奥德·福尔曼,什洛莫·胡里,奥哈德·沙查姆,奥弗·斯特里赫曼:
在线性时间内减少分辨率证明的大小。 263-272
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BauerGS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/BauerGS11
科尔斯汀·鲍尔,拉斐拉·金蒂里尼,克劳斯·施耐德:
三值语义的统一方法μ-关于混合自动机抽象的微积分。 273-287

第13卷第4期，2011年8月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/FecherS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/FecherS11
哈拉尔德·费彻,沙伦·肖姆:
本地抽象重新定义μ-微积分。 289-306
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BuL11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/BuL11
雷布,李宣东:
组合线性混合系统的路径定向有界可达性分析。 307-317
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/SebastianiTV11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/SebastianiTV11
罗伯托·塞巴斯蒂亚尼,斯特凡诺·托内塔,莫舍·瓦尔迪:
符号系统，显式特性：关于LTL符号模型检查的混合方法。 319-335
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/LisboaGAM11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/LisboaGAM11
Liana Barachisio里斯本,Vinicius Cardoso Garcia葡萄酒,爱德华多·桑塔纳（Eduardo Santana de Almeida）,西尔维奥·罗梅罗·德·莱莫斯·梅拉:
ToolDAy：领域分析工具。 337-353
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/GouD11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/国D11
郭强,约翰·德里克:
基于形式的工具支持模型检查Erlang应用程序。 355-376
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BrukmanD11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/http://BrukmanD11
奥尔加·布鲁克曼,什洛米·多列夫:
面向恢复的编程：安全性和活性的运行时监控。 377-395

第13卷第5期，2011年10月

VSTTE 2009年

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/Filliatre11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/Filliatre11
Jean-Christophe Filliátre女士:
演绎软件验证。 397-403
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/sttt/CuoqMPP11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/http://CuoqMPP11
Pascal Cuoq公司,本杰明·莫纳特,安妮·帕卡莱特,维吉尔·普雷沃斯托:
通过最弱的前置条件实现C函数的函数依赖性。 405-417
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/Weber11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sttt/Weber11
贾克·韦伯:
SMT求解器：HOL定理证明器的新预言。 419-429
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/CastillosDJ11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/CastillosDJ11
卡卢·卡布雷拉·卡斯蒂略,弗雷德里克·达多,雅克·朱利安德:
UML/OCL行为模型的基于场景的测试-应用程序与POSIX的一致性。 431-448
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/IshiiUH11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/http://IshiiUH11
石井大辅,Kazunori Ueda公司,细叶浩史:
基于区间的SAT模ODE求解器，用于非线性混合系统的模型检查。 449-461
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/FrietasM11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sttt/FreitasM11
利奥·弗雷塔斯,约翰·麦克德莫特:
Xenon虚拟机监控程序中安全性的正式方法。 463-489

第13卷第6期，2011年11月

VMCAI 2009年

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/Jones M11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/JonesM11
尼尔·D·琼斯,马库斯·穆勒·奥尔姆:
关于验证、模型检查和抽象解释的特别章节的前言。 491-493
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/KiddRDV11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/http://KiddRDV11
尼古拉斯·基德,托马斯·W·代表,朱利安·杜比,曼达纳·瓦齐里:
使用随机隔离查找并发相关的错误。 495-518
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/TalyGT11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/TalyGT11
安库尔·塔利,苏米特·古尔瓦尼,阿什什·蒂瓦里:
使用约束求解合成开关逻辑。 519-535
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/EtessamiG11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/EtessamiG11
库沙·埃特萨米,帕特丽斯·戈德弗里德:
事务编程的异常感知模型。 537-551
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/RutkowskiLJ11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/RutkowskiLJ11
米查尔·鲁特考夫斯基,兰科·拉齐奇,马金·尤金斯基（Marcin Jurdzinski）:
混合自动机上的平均价格奖励游戏具有强大的重置功能。 553-569
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/GodefroidP11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sttt/GoldefroydP11
帕特丽斯·戈德弗里德,尼尔·皮特曼:
重温LTL广义模型检查。 571-584
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/LavironL11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/LavironL11
文森特·拉维隆,弗朗西斯科·洛戈佐:
SubPolyhedra：一个数值抽象域族，用于线性不等式的（更）可扩展推理。 585-601

服务

管理网站设置

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