停止战争！

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

对于科学家：

默认搜索操作

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

问别人

国际技术转让软件工具杂志（STTT）第3卷

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2000年第3卷第1期

定理证明

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/GiunchigliaT00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/GiunchigliaT00网站
福斯托·朱奇利亚,保罗·特拉弗索:
技术转让中的定理证明：用户的观点。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/Kufmann00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/Kaufmann00
马特·考夫曼:
使用ACL2定理证明器验证2000年转换规则。 13-19
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/Vito00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/Vito00
本·L·迪·维托:
需求模型属性的高度自动化证明。 20-31
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/KapurS00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/http://KapurS00
迪帕克·卡普尔,Mahadevan Subramaniam公司:
使用感应校准器验证算术电路。 32-65
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/AutexierHLMRSSVW00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/http://AutexierHLMRSSVW00
谢尔盖·奥特谢尔,迪特尔·赫特,布鲁诺·兰根斯坦,海科·曼特尔,乔治·洛克,阿克塞尔·沙伊尔,沃纳·斯蒂芬,罗兰·沃特,安德烈亚斯·沃尔珀斯:
VSE：正式方法满足工业需求。 66-77
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/TraversoB00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/http://TraversoB00
保罗·特拉弗索,皮埃尔吉奥·贝尔托利:
机械化结果验证：工业应用。 78-92
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/AikenFS00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/AikenFS00
亚历山大·艾肯,曼努埃尔·法恩德里奇,苏振东:
检测继电器梯形图逻辑程序中的竞争。 93-105

2001年第2期第3卷

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/Brinksma01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/Brinksma01
埃德·布林克斯马:
验证就是实验！ 107-111

BDD专题

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/Drechsler S01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/DrechslerS01
罗尔夫·德雷克斯勒,德特勒夫·西林:
理论和实践中的二元决策图。 112-136
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BryantC01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/http://BryantC01
兰德尔·E·布莱恩特,陈一安:
使用二进制矩图验证算术电路。 137-155
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/Minato01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/Minato01
Shin-ichi Minato公司:
零抑制BDD及其应用。 156-170
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/Somenzi01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/Somenzi01网址
法比奥·萨蒙齐:
决策图的有效操作。 171-181
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/Horeth01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/Horeth01
斯特凡·霍尔思:
文字级图形操作包。 182-192
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/sttt/HarlowB01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/HarlowB01
贾斯汀·哈洛三世,弗兰克·布尔格勒:
BDD排序启发式的实验设计和评估。 193-206
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/MohnkeMM01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/MohnkeMM01
珍妮特·莫恩克,莫里特,莎拉·马利克:
BDD在布尔匹配技术中的应用，用于形式逻辑组合验证。 207-216

定期捐款

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/MassingillMS01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/MassingillMS01
伯纳·马辛吉尔,蒂莫西·马特森,贝弗利·A·桑德斯:
使用模式语言进行并行编程。 217-234
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BartoliDL01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/BartoliDL01
阿尔贝托·巴托利,吉安卢卡·迪尼,兰弗兰科·洛普里奥尔:
单个地址空间环境中的应用程序控制的内存管理。 235-245

2001年第3卷第3期

符号验证的替代方法

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/Cleaveland 01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sttt/Cleaveland01
兰斯·克莱维兰:
符号验证的替代方法-章节编辑前言。 247-249
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/DelzannoP01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/DelzannoP01
乔治·德尔扎诺,安德烈亚斯·波德尔斯基:
基于约束的演绎模型检查。 250-270
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/Hirschkoff01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/Hirschkoff01
丹尼尔·赫希科夫:
使用最新技术进行互模拟验证。 271-285
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/CernOG01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/http://KernOG01
克里斯托夫·科恩,塔里克·奥诺·特斯法耶,马克·格林斯特雷特:
用于硬件验证的轻量级框架。 286-313
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/GaravelVZ01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/GaravelVZ01
休伯特·加拉维,塞萨尔·维霍,马西莫·赞德里:
使用形式化规范、模型检查、协同仿真和测试生成的CC-NUMA多处理器体系结构的系统设计。 314-331

定期捐款

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/HuismanJB01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/HuismanJB01
玛丽克·赫斯曼,雅各布施,约阿希姆·范登伯格:
类库验证中的一个案例研究：Java的向量类。 332-352
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/LindahlPY01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/LindahlPY01
马格努斯·林达尔,保罗·佩特森,王毅:
齿轮控制器的形式化设计和分析。 353-368

2001年第4期第3卷

高级Petri网实际应用专题

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/Jensen01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/Jensen01
库尔特·延森:
高级Petri网的实际使用特别章节：由章节编辑编写的前言。 369-371
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BerthelotP01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/BerthelotP01
热拉尔·贝瑟洛特,劳雷·佩特鲁奇:
并发系统的规范和验证：一个教育项目。 372-381
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/OjalaHT01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/OjalaHT01
利奥·奥贾拉,尼斯-赫斯伯格,蒂穆·廷贾勒:
使用高级网络方法对用于移动计算的分布式动态信道分配算法进行建模和分析。 382-393
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/GenrichKV01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/GenrichKV01
哈特曼·J·根里奇,罗伯特·库夫纳,克劳斯·沃斯:
代谢途径分析的可执行Petri网模型。 394-404
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/Lindstrom01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/Lindstrom01
博·林德斯特罗姆:
基于Web的有色Petri网模型模拟接口。 405-416
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BernardiDH01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/BernardiDH01
西蒙娜·伯纳迪,苏珊娜·多纳泰利,安德拉斯·霍瓦思:
实现随机Petri网的组合性。 417-430
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/SimonsS01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/SimonsS01
大卫·P·L·西蒙斯,玛丽埃尔·斯托琳加:
使用Uppaal2k对IEEE 1394a根竞争协议进行机械验证。 469-485

定期捐款

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/AnlauffCKPT01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/AnlauffCKPT01
马蒂亚斯·安劳夫,萨马尔吉特·查克拉博蒂,菲利普·库特,阿方索·皮兰托尼奥,洛塔尔·蒂勒:
从蒙太奇描述生成动作符号环境。 431-455
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/Aizman01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/Aizman01
亚历克斯·艾兹曼:
易于并发。 456-468
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/KindlerW01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/KindlerW01
Ekkart点燃器,米夏埃尔·韦伯:
Petri网内核-构建Petri网工具的基础设施。 486-497

服务

管理网站设置

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