REXX ON TSO/E

被引：0

作者：

HOERNES, GE

机构：

来源：

关键词：

D O I：

10.1147/sj.282.0274

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：274 / 293

页数：20

共 50 条

[41] Maximal Causality Reduction for TSO and PSO
Huang, Shiyou
Huang, Jeff
[J]. ACM SIGPLAN NOTICES, 2016, 51 (10) : 447 - 461
[42] Stateless model checking for TSO and PSO
Abdulla, Parosh Aziz
Aronis, Stavros
Atig, Mohamed Faouzi
Jonsson, Bengt
Leonardsson, Carl
Sagonas, Konstantinos
[J]. ACTA INFORMATICA, 2017, 54 (08) : 789 - 818
[43] 谈美国TSO及其发展
李同泽
[J]. 航空标准化与质量, 1990, (03) : 38 - 39
[44] 使用REXX语言编写你自己的应用程序
苏志强
朱德锋
王启智
[J]. 办公自动化, 1999, (05) : 58 - 62
[45] TSO型弹性灌浆材料
[J]. 浙江水利科技, 1987, (04) : 59 - 59
[46] 浅析TSO/CTSO及其应用
薛军
[J]. 航空维修与工程, 2022, (06) : 19 - 22
[47] CHOU,TSO-JEN HELLENISM
WANG, CH
[J]. RENDITIONS-A CHINESE-ENGLISH TRANSLATION MAGAZINE, 1977, (07): : 5 - 28
[48] Checking and Enforcing Robustness against TSO
Bouajjani, Ahmed
Derevenetc, Egor
Meyer, Roland
[J]. PROGRAMMING LANGUAGES AND SYSTEMS, 2013, 7792 : 533 - 553
[49] TSO出口例程及其应用
宋传杰
张玉瑞
王燕
[J]. 计算机工程与应用, 1992, (12) : 38 - 46
[50] 美国TSO的发展动向
李同泽
[J]. 航空标准化与质量, 1994, (02) : 35 - 36